Enum VerificationError 

#[non_exhaustive]
pub enum VerificationError {
    ReceiptFormatError,
    ControlVerificationError {
        control_id: Digest,
    },
    ImageVerificationError,
    MerkleQueryOutOfRange {
        idx: usize,
        rows: usize,
    },
    InvalidProof,
    JournalDigestMismatch,
    ClaimDigestMismatch {
        expected: Digest,
        received: Digest,
    },
    UnexpectedExitCode,
    InvalidHashSuite,
    VerifierParametersMissing,
    VerifierParametersMismatch {
        expected: Digest,
        received: Digest,
    },
    ProofSystemInfoMismatch {
        expected: ProtocolInfo,
        received: ProtocolInfo,
    },
    CircuitInfoMismatch {
        expected: ProtocolInfo,
        received: ProtocolInfo,
    },
    UnresolvedAssumption {
        digest: Digest,
    },
}

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

ReceiptFormatError

ControlVerificationError

Fields

control_id: Digest

ImageVerificationError

MerkleQueryOutOfRange

Fields

idx: usize

rows: usize

InvalidProof

JournalDigestMismatch

ClaimDigestMismatch

Fields

expected: Digest

received: Digest

UnexpectedExitCode

InvalidHashSuite

VerifierParametersMissing

VerifierParametersMismatch

Fields

expected: Digest

received: Digest

ProofSystemInfoMismatch

Fields

expected: ProtocolInfo

received: ProtocolInfo

CircuitInfoMismatch

Fields

expected: ProtocolInfo

received: ProtocolInfo

UnresolvedAssumption

Fields

digest: Digest

Trait Implementations

impl Debug for VerificationError

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

Formats the value using the given formatter.

impl Display for VerificationError

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

Formats the value using the given formatter.

impl PartialEq for VerificationError

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for VerificationError