Enum VerificationError 

pub enum VerificationError<SC: StarkGenericConfig> {
    InvalidopeningArgument(OpeningError<SC>),
    OodEvaluationMismatch(String),
    OpeningShapeError(String, OpeningShapeError),
    MissingCpuChip,
    ChipOpeningLengthMismatch,
    PreprocessedChipIdMismatch(String, String),
    CumulativeSumsError(&'static str),
    InvalidLogDegree(String, usize),
    LookupMultiplicityOverflow,
}

An error that occurs during the verification.

Variants

InvalidopeningArgument(OpeningError<SC>)

opening proof is invalid.

OodEvaluationMismatch(String)

Out-of-domain evaluation mismatch.

constraints(zeta) did not match quotient(zeta) Z_H(zeta).

OpeningShapeError(String, OpeningShapeError)

The shape of the opening arguments is invalid.

MissingCpuChip

The cpu chip is missing.

ChipOpeningLengthMismatch

The length of the chip opening does not match the expected length.

PreprocessedChipIdMismatch(String, String)

The preprocessed chip id does not match the claimed opening id.

CumulativeSumsError(&'static str)

Cumulative sums error

InvalidLogDegree(String, usize)

The log degree of a chip is invalid.

LookupMultiplicityOverflow

The lookup multiplicity can overflow.

Trait Implementations

impl<SC: StarkGenericConfig> Debug for VerificationError<SC>

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

Formats the value using the given formatter.

impl<SC: StarkGenericConfig> Display for VerificationError<SC>

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

Formats the value using the given formatter.

impl<SC: StarkGenericConfig> Error for VerificationError<SC>

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.