Enum risc0_zkp::verify::VerificationError

pub enum VerificationError {
    ReceiptFormatError,
    ControlVerificationError,
    ImageVerificationError,
    MerkleQueryOutOfRange {
        idx: usize,
        rows: usize,
    },
    InvalidProof,
    JournalDigestMismatch,
    UnexpectedExitCode,
    InvalidHashSuite,
    FaultStateMismatch,
    ValidFaultReceipt,
}

Variants

ReceiptFormatError

ControlVerificationError

ImageVerificationError

MerkleQueryOutOfRange

Fields

idx: usize

rows: usize

InvalidProof

JournalDigestMismatch

UnexpectedExitCode

InvalidHashSuite

FaultStateMismatch

ValidFaultReceipt

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for VerificationError