Enum ark_poly_commit::error::Error

pub enum Error {
    MissingPolynomial {
        label: String,
    },
    MissingEvaluation {
        label: String,
    },
    MissingLHS {
        label: String,
    },
    MissingRng,
    DegreeIsZero,
    TooManyCoefficients {
        num_coefficients: usize,
        num_powers: usize,
    },
    HidingBoundIsZero,
    HidingBoundToolarge {
        hiding_poly_degree: usize,
        num_powers: usize,
    },
    TrimmingDegreeTooLarge,
    EmptyDegreeBounds,
    EquationHasDegreeBounds(String),
    UnsupportedDegreeBound(usize),
    IncorrectDegreeBound {
        poly_degree: usize,
        degree_bound: usize,
        supported_degree: usize,
        label: String,
    },
    IncorrectInputLength(String),
    InvalidNumberOfVariables,
    PolynomialDegreeTooLarge {
        poly_degree: usize,
        supported_degree: usize,
        label: String,
    },
}

The error type for PolynomialCommitment.

Variants

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.

MissingLHS

Fields

label: String

The label of the equation.

The LHS of the equation is empty.

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.

TrimmingDegreeTooLarge

The degree provided to trim was too large.

EmptyDegreeBounds

The provided enforced_degree_bounds was Some<&[]>.

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

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.

IncorrectInputLength(String)

The inputs to commit, open or verify had incorrect lengths.

InvalidNumberOfVariables

An invalid number of variables was provided to setup

PolynomialDegreeTooLarge

Fields

poly_degree: usize

Degree of the polynomial.

supported_degree: usize

Maximum supported degree.

label: String

Index of the offending polynomial.

The degree of the index-th polynomial passed to commit, open or check was incorrect, that is, supported_degree <= poly_degree

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