Enum NovaError 

#[non_exhaustive]
pub enum NovaError {
    InvalidIndex,
    InvalidStepCircuitIO,
    InvalidInputLength,
    InvalidWitnessLength,
    UnSat {
        reason: String,
    },
    ProofVerifyError {
        reason: String,
    },
    InvalidCommitmentKeyLength,
    InvalidNumSteps,
    InvalidPCS,
    InvalidSumcheckProof,
    InvalidInitialInputLength,
    InvalidStepOutputLength,
    InternalTranscriptError,
    InvalidMultisetProof,
    InvalidProductProof,
    IncorrectWitness,
    SynthesisError {
        reason: String,
    },
    DigestError,
    InternalError,
}

Errors returned by Nova

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.

InvalidIndex

returned if the supplied row or col in (row,col,val) tuple is out of range

InvalidStepCircuitIO

returned if the step circuit calls inputize or alloc_io in its synthesize method instead of passing output with the return value

InvalidInputLength

returned if the supplied input is not of the right length

InvalidWitnessLength

returned if the supplied witness is not of the right length

UnSat

returned if the supplied witness is not a satisfying witness to a given shape and instance

Fields

reason: String

The reason for circuit UnSat failure

ProofVerifyError

returned if proof verification fails

Fields

reason: String

The reason for the proof verification error

InvalidCommitmentKeyLength

returned if the provided commitment key is not of sufficient length

InvalidNumSteps

returned if the provided number of steps is zero

InvalidPCS

returned when an invalid PCS evaluation argument is provided

InvalidSumcheckProof

returned when an invalid sum-check proof is provided

InvalidInitialInputLength

returned when the initial input to an incremental computation differs from a previously declared arity

InvalidStepOutputLength

returned when the step execution produces an output whose length differs from a previously declared arity

InternalTranscriptError

returned when the transcript engine encounters an overflow of the round number

InvalidMultisetProof

returned when the multiset check fails

InvalidProductProof

returned when the product proof check fails

IncorrectWitness

returned when the consistency with public IO and assignment used fails

SynthesisError

returned when error during synthesis

Fields

reason: String

The reason for circuit synthesis failure

DigestError

returned when there is an error creating a digest

InternalError

returned when the prover cannot prove the provided statement due to completeness error

Trait Implementations

impl Clone for NovaError

fn clone(&self) -> NovaError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NovaError

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

Formats the value using the given formatter.

impl Display for NovaError

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

Formats the value using the given formatter.

impl Error for NovaError

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<SynthesisError> for NovaError

fn from(err: SynthesisError) -> Self

Converts to this type from the input type.

impl PartialEq for NovaError

fn eq(&self, other: &NovaError) -> 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 Eq for NovaError

impl StructuralPartialEq for NovaError