Enum kimchi::snarky::errors::SnarkyRuntimeError

pub enum SnarkyRuntimeError {
    UnsatisfiedGenericConstraint(String, String, String, String, String, String, String, String, usize),
    UnsatisfiedBooleanConstraint(usize, String),
    UnsatisfiedEqualConstraint(usize, String, String),
    UnsatisfiedSquareConstraint(usize, String, String),
    UnsatisfiedR1CSConstraint(usize, String, String, String),
    PubInputMismatch(usize, usize),
    CircuitReturnVar(usize, usize),
}

Errors that can occur during runtime (proving).

Variants

UnsatisfiedGenericConstraint(String, String, String, String, String, String, String, String, usize)

UnsatisfiedBooleanConstraint(usize, String)

UnsatisfiedEqualConstraint(usize, String, String)

UnsatisfiedSquareConstraint(usize, String, String)

UnsatisfiedR1CSConstraint(usize, String, String, String)

PubInputMismatch(usize, usize)

CircuitReturnVar(usize, usize)

Trait Implementations

impl Clone for SnarkyRuntimeError

fn clone(&self) -> SnarkyRuntimeError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SnarkyRuntimeError

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

Formats the value using the given formatter.

impl Display for SnarkyRuntimeError

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

Formats the value using the given formatter.

impl Error for SnarkyRuntimeError

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.