[][src]Enum bulletproofs::errors::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[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
[src]

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

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

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

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

type Owned = T

The resulting type after obtaining ownership.

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

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = !

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

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

The type returned in the event of a conversion error.