Enum bulletproofs::r1cs::R1CSError

pub enum R1CSError {
    InvalidGeneratorsLength,
    FormatError,
    VerificationError,
    MissingAssignment,
    GadgetError {
        description: String,
    },
}

Represents an error during the proving or verifying of a constraint system.

XXX: should this be separate from a ProofError?

Variants

InvalidGeneratorsLength

Occurs when there are insufficient generators for the proof.

FormatError

This error occurs when the proof encoding is malformed.

VerificationError

Occurs when verification of an R1CSProof fails.

MissingAssignment

Occurs when trying to use a missing variable assignment. Used by gadgets that build the constraint system to signal that a variable assignment is not provided when the prover needs it.

GadgetError

Occurs when a gadget receives an inconsistent input.

Fields of GadgetError

description: String

The description of the reasons for the error.

Trait Implementations

impl Clone for R1CSError

fn clone(&self) -> R1CSError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for R1CSError

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

Formats the value using the given formatter.

impl Display for R1CSError

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

Formats the value using the given formatter.

impl Eq for R1CSError

fn assert_receiver_is_total_eq(&self)

impl Fail for R1CSError

fn name(&self) -> Option<&str>

Returns the "name" of the error.

fn cause(&self) -> Option<&dyn Fail>

Returns a reference to the underlying cause of this failure, if it is an error that wraps other errors.

fn backtrace(&self) -> Option<&Backtrace>

Returns a reference to the Backtrace carried by this failure, if it carries one.

fn context<D>(self, context: D) -> Context<D> where
    D: Display + Send + Sync + 'static, 

Provides context for this failure.

fn compat(self) -> Compat<Self>

Wraps this failure in a compatibility wrapper that implements std::error::Error.

fn causes(&self) -> Causes

Deprecated since 0.1.2:

please use the 'iter_chain()' method instead

fn root_cause(&self) -> &(dyn Fail + 'static)

Deprecated since 0.1.2:

please use the 'find_root_cause()' method instead

fn __private_get_type_id__(&self) -> TypeId

impl From<ProofError> for R1CSError

fn from(e: ProofError) -> R1CSError

Performs the conversion.

impl PartialEq<R1CSError> for R1CSError

fn eq(&self, other: &R1CSError) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &R1CSError) -> bool

This method tests for !=.

impl StructuralEq for R1CSError

impl StructuralPartialEq for R1CSError