Enum zero_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,
    UnsupportedWNAF2k,
    PublicInputNotFound {
        index: usize,
    },
    InconsistentPublicInputsLen {
        expected: usize,
        provided: usize,
    },
}

Defines all possible errors that can be encountered in PLONK.

Variants

InvalidEvalDomainSize

Fields

log_size_of_group: u32

Log size of the group

adacity: u32

Two adacity generated

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

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.

UnsupportedWNAF2k

WNAF2k should be in [-1, 0, 1]

PublicInputNotFound

Fields

index: usize

Expected public input wasn’t found

The provided public inputs doesn’t match the circuit definition

InconsistentPublicInputsLen

Fields

expected: usize

Expected value

provided: usize

Provided value

The provided public inputs length doesn’t match the processed verifier

Trait Implementations

impl Clone for Error

fn clone(&self) -> Error

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

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 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

fn provide<'a>(&'a self, demand: &mut Demand<'a>)

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

Provides type based access to context intended for error reports.

impl From<Error> for Error

fn from(bytes_err: DuskBytesError) -> Self

Converts to this type from the input type.

impl Copy for Error