Enum bellperson::SynthesisError

pub enum SynthesisError {
    AssignmentMissing,
    DivisionByZero,
    Unsatisfiable,
    PolynomialDegreeTooLarge,
    UnexpectedIdentity,
    IoError(Error),
    MalformedVerifyingKey,
    UnconstrainedVariable,
    GpuError(GpuError),
    MalformedProofs(String),
    MalformedSrs,
    NonPowerOfTwo,
    IncompatibleLengthVector(String),
    InvalidPairing,
}

This is an error that could occur during circuit synthesis contexts, such as CRS generation, proving or verification.

Variants

AssignmentMissing

During synthesis, we lacked knowledge of a variable assignment.

DivisionByZero

During synthesis, we divided by zero.

Unsatisfiable

During synthesis, we constructed an unsatisfiable constraint system.

PolynomialDegreeTooLarge

During synthesis, our polynomials ended up being too high of degree

UnexpectedIdentity

During proof generation, we encountered an identity in the CRS

IoError(Error)

During proof generation, we encountered an I/O error with the CRS

MalformedVerifyingKey

During verification, our verifying key was malformed.

UnconstrainedVariable

During CRS generation, we observed an unconstrained auxiliary variable

GpuError(GpuError)

During GPU multiexp/fft, some GPU related error happened

MalformedProofs(String)

MalformedSrs

NonPowerOfTwo

IncompatibleLengthVector(String)

InvalidPairing

Trait Implementations

impl Debug for SynthesisError

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

Formats the value using the given formatter.

impl Display for SynthesisError

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

Formats the value using the given formatter.

impl Error for SynthesisError

fn source(&self) -> Option<&(dyn Error + 'static)>

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, demand: &mut Demand<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type based access to context intended for error reports.

impl From<EcError> for SynthesisError

fn from(source: EcError) -> Self

Converts to this type from the input type.

impl From<Error> for SynthesisError

fn from(source: Error) -> Self

Converts to this type from the input type.

impl From<GpuError> for SynthesisError

fn from(source: GpuError) -> Self

Converts to this type from the input type.