Enum dusk_plonk::error::Error

pub enum Error {
    InvalidEvalDomainSize {
        log_size_of_group: u32,
        adacity: u32,
    },
    ProofVerificationError,
    CircuitInputsNotFound,
    UninitializedPIGenerator,
    InvalidPublicInputBytes,
    CircuitAlreadyPreprocessed,
    MismatchedPolyLen,
    DegreeIsZero,
    TruncatedDegreeTooLarge,
    TruncatedDegreeIsZero,
    PolynomialDegreeTooLarge,
    PolynomialDegreeIsZero,
    PairingCheckFailure,
    BytesError(DuskBytesError),
    NotEnoughBytes,
    PointMalformed,
    BlsScalarMalformed,
}

Defines all possible errors that can be encountered in PLONK.

Variants

InvalidEvalDomainSize

This error occurs when an error triggers on any of the fft module functions.

Fields of InvalidEvalDomainSize

log_size_of_group: u32

Log size of the group

adacity: u32

Two adacity generated

ProofVerificationError

This error occurs when a proof verification fails.

CircuitInputsNotFound

This error occurs when the circuit is not provided with all of the required inputs.

UninitializedPIGenerator

This error occurs when we want to verify a Proof but the pi_constructor attribute is uninitialized.

InvalidPublicInputBytes

PublicInput serialization error

CircuitAlreadyPreprocessed

This error occurs when the Prover structure already contains a preprocessed circuit inside, but you call preprocess again.

MismatchedPolyLen

This error occurs when an error triggers during the preprocessing stage.

DegreeIsZero

This error occurs when the user tries to create PublicParameters and supplies the max degree as zero.

TruncatedDegreeTooLarge

This error occurs when the user tries to trim PublicParameters to a degree that is larger than the maximum degree.

TruncatedDegreeIsZero

This error occurs when the user tries to trim PublicParameters down to a degree that is zero.

PolynomialDegreeTooLarge

This error occurs when the user tries to commit to a polynomial whose degree is larger than the supported degree for that proving key.

PolynomialDegreeIsZero

This error occurs when the user tries to commit to a polynomial whose degree is zero.

PairingCheckFailure

This error occurs when the pairing check fails at being equal to the Identity point.

BytesError(DuskBytesError)

Dusk-bytes serialization error

NotEnoughBytes

This error occurs when there are not enough bytes to read out of a slice during deserialization.

PointMalformed

This error occurs when a malformed point is decoded from a byte array.

BlsScalarMalformed

This error occurs when a malformed BLS scalar is decoded from a byte array.

Trait Implementations

impl Debug for Error

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

Formats the value using the given formatter.

impl Display for Error

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

Formats the value using the given formatter.

impl Error for Error

fn source(&self) -> Option<&(dyn Error + 'static)>

The lower-level source of this error, if any.

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

🔬 This is a nightly-only experimental API. (backtrace)

Returns a stack backtrace, if available, of where this error occurred.

fn description(&self) -> &str

👎 Deprecated since 1.42.0:

use the Display impl or to_string()

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

👎 Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

impl From<Error> for Error

fn from(bytes_err: DuskBytesError) -> Self

Performs the conversion.