Enum snarkvm_algorithms::polycommit::error::PCError

pub enum PCError {
    AnyhowError(Error),
    MissingPolynomial {
        label: String,
    },
    MissingEvaluation {
        label: String,
    },
    MissingRng,
    DegreeIsZero,
    TooManyCoefficients {
        num_coefficients: usize,
        num_powers: usize,
    },
    HidingBoundIsZero,
    HidingBoundToolarge {
        hiding_poly_degree: usize,
        num_powers: usize,
    },
    LagrangeBasisSizeIsNotPowerOfTwo,
    LagrangeBasisSizeIsTooLarge,
    TrimmingDegreeTooLarge,
    EquationHasDegreeBounds(String),
    UnsupportedDegreeBound(usize),
    UnsupportedLagrangeBasisSize(usize),
    IncorrectDegreeBound {
        poly_degree: usize,
        degree_bound: usize,
        supported_degree: usize,
        label: String,
    },
    Terminated,
}

The error type for PolynomialCommitment.

Variants

AnyhowError(Error)

MissingPolynomial

Fields

label: String

The label of the missing polynomial.

The query set contains a label for a polynomial that was not provided as input to the PC::open.

MissingEvaluation

Fields

label: String

The label of the missing polynomial.

Evaluations does not contain an evaluation for the polynomial labelled label at a particular query.

MissingRng

The provided polynomial was meant to be hiding, but rng was None.

DegreeIsZero

The degree provided in setup was too small; degree 0 polynomials are not supported.

TooManyCoefficients

Fields

num_coefficients: usize

The number of coefficients in the polynomial.

num_powers: usize

The maximum number of powers provided in Powers.

The degree of the polynomial passed to commit or open was too large.

HidingBoundIsZero

The hiding bound was not None, but the hiding bound was zero.

HidingBoundToolarge

Fields

hiding_poly_degree: usize

The hiding bound

num_powers: usize

The number of powers.

The hiding bound was too large for the given Powers.

LagrangeBasisSizeIsNotPowerOfTwo

The lagrange basis is not a power of two.

LagrangeBasisSizeIsTooLarge

The lagrange basis is larger than the supported degree,

TrimmingDegreeTooLarge

The degree provided to trim was too large.

EquationHasDegreeBounds(String)

The provided equation contained multiple polynomials, of which least one had a strict degree bound.

UnsupportedDegreeBound(usize)

The required degree bound is not supported by ck/vk

UnsupportedLagrangeBasisSize(usize)

The provided equation contained multiple polynomials, of which least one had a strict degree bound.

IncorrectDegreeBound

Fields

poly_degree: usize

Degree of the polynomial.

degree_bound: usize

Degree bound.

supported_degree: usize

Maximum supported degree.

label: String

Index of the offending polynomial.

The degree bound for the index-th polynomial passed to commit, open or check was incorrect, that is, degree_bound >= poly_degree or degree_bound <= max_degree.

Terminated

Trait Implementations

impl Debug for PCError

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

Formats the value using the given formatter.

impl Display for PCError

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

Formats the value using the given formatter.

impl Error for PCError

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

fn from(other: Error) -> Self

Converts to this type from the input type.

impl From<PCError> for MarlinError

fn from(err: PCError) -> Self

Converts to this type from the input type.

impl From<PCError> for SNARKError

fn from(err: PCError) -> Self

Converts to this type from the input type.