[−][src]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 From<ProofError> for R1CSError[src][+]

impl Clone for R1CSError[src][+]

impl Eq for R1CSError[src]

impl PartialEq<R1CSError> for R1CSError[src][+]

impl Display for R1CSError[src][+]

impl Debug for R1CSError[src][+]

impl StructuralPartialEq for R1CSError[src]

impl StructuralEq for R1CSError[src]

impl Fail for R1CSError[src][+]

Auto Trait Implementations

impl Send for R1CSError

impl Sync for R1CSError

impl Unpin for R1CSError

impl UnwindSafe for R1CSError

impl RefUnwindSafe for R1CSError

Blanket Implementations

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

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

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.

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

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

impl<T> Any for T where
    T: 'static + ?Sized, [src][+]

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

type Output = T

Should always be Self

impl<T> FromCast<T> for T[src][+]

impl<T, U> Cast<U> for T where
    U: FromCast<T>, [src][+]

impl<T> FromBits<T> for T[src][+]

impl<T, U> IntoBits<U> for T where
    U: FromBits<T>, [src][+]

impl<T> AsFail for T where
    T: Fail, [src][+]