[][src]Enum bulletproofs::r1cs::R1CSError

pub enum R1CSError {
    GadgetError {
        description: String,

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

XXX: should this be separate from a ProofError?



Occurs when there are insufficient generators for the proof.


This error occurs when the proof encoding is malformed.


Occurs when verification of an R1CSProof fails.


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.


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[src]

impl Debug for R1CSError[src]

impl Display for R1CSError[src]

impl Eq for R1CSError[src]

impl Fail for R1CSError[src]

impl From<ProofError> for R1CSError[src]

impl PartialEq<R1CSError> for R1CSError[src]

impl StructuralEq for R1CSError[src]

impl StructuralPartialEq for R1CSError[src]

Auto Trait Implementations

impl RefUnwindSafe for R1CSError

impl Send for R1CSError

impl Sync for R1CSError

impl Unpin for R1CSError

impl UnwindSafe for R1CSError

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized

impl<T> AsFail for T where
    T: Fail, 

impl<T> Borrow<T> for T where
    T: ?Sized

impl<T> BorrowMut<T> for T where
    T: ?Sized

impl<T, U> Cast<U> for T where
    U: FromCast<T>, 

impl<T> From<T> for T[src]

impl<T> FromBits<T> for T

impl<T> FromCast<T> for T

impl<T, U> Into<U> for T where
    U: From<T>, 

impl<T, U> IntoBits<U> for T where
    U: FromBits<T>, 

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T> ToOwned for T where
    T: Clone

type Owned = T

The resulting type after obtaining ownership.

impl<T> ToString for T where
    T: Display + ?Sized

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 

type Error = !

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.