[−][src]Enum bulletproofs::ProofError

[−]
pub enum ProofError {
    VerificationError,
    FormatError,
    WrongNumBlindingFactors,
    InvalidBitsize,
    InvalidAggregation,
    InvalidGeneratorsLength,
    ProvingError(MPCError),
}
[−]

Represents an error in proof creation, verification, or parsing.

Variants

VerificationError
[−]

This error occurs when a proof failed to verify.

FormatError
[−]

This error occurs when the proof encoding is malformed.

WrongNumBlindingFactors
[−]

This error occurs during proving if the number of blinding factors does not match the number of values.

InvalidBitsize
[−]

This error occurs when attempting to create a proof with bitsize other than \(8\), \(16\), \(32\), or \(64\).

InvalidAggregation
[−]

This error occurs when attempting to create an aggregated proof with non-power-of-two aggregation size.

InvalidGeneratorsLength
[−]

This error occurs when there are insufficient generators for the proof.

ProvingError(MPCError)
[−]

This error results from an internal error during proving.

The single-party prover is implemented by performing multiparty computation with ourselves. However, because the MPC protocol is not exposed by the single-party API, we consider its errors to be internal errors.

Trait Implementations

impl From<MPCError> for ProofError[src][+]

impl From<ProofError> for R1CSError[src][+]

impl Clone for ProofError[src][+]

impl Eq for ProofError[src]

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

impl Display for ProofError[src][+]

impl Debug for ProofError[src][+]

impl StructuralPartialEq for ProofError[src]

impl StructuralEq for ProofError[src]

impl Fail for ProofError[src][+]

Auto Trait Implementations

impl Send for ProofError

impl Sync for ProofError

impl Unpin for ProofError

impl UnwindSafe for ProofError

impl RefUnwindSafe for ProofError

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