Enum ark_relations::r1cs::SynthesisError

pub enum SynthesisError {
    MissingCS,
    AssignmentMissing,
    DivisionByZero,
    Unsatisfiable,
    PolynomialDegreeTooLarge,
    UnexpectedIdentity,
    MalformedVerifyingKey,
    UnconstrainedVariable,
}

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

Variants

MissingCS

During synthesis, we tried to allocate a variable when ConstraintSystemRef was None.

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

MalformedVerifyingKey

During verification, our verifying key was malformed.

UnconstrainedVariable

During CRS generation, we observed an unconstrained auxiliary variable

Trait Implementations

impl Clone for SynthesisError

fn clone(&self) -> SynthesisError

Returns a copy of the value.

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

Performs copy-assignment from source.

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, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Error for SynthesisError

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

impl PartialEq<SynthesisError> for SynthesisError

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

impl Eq for SynthesisError

impl StructuralEq for SynthesisError

impl StructuralPartialEq for SynthesisError