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

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

Fields of MissingPolynomial

label: String

The label of the missing polynomial.

MissingEvaluation

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

Fields of MissingEvaluation

label: String

The label of the missing polynomial.

MissingLHS

The LHS of the equation is empty.

Fields of MissingLHS

label: String

The label of the equation.

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

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

Fields of TooManyCoefficients

num_coefficients: usize

The number of coefficients in the polynomial.

num_powers: usize

The maximum number of powers provided in Powers.

HidingBoundIsZero

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

HidingBoundToolarge

The hiding bound was too large for the given Powers.

Fields of HidingBoundToolarge

hiding_poly_degree: usize

The hiding bound

num_powers: usize

The number of 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

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.

Fields of IncorrectDegreeBound

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.

IncorrectInputLength(String)

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

InvalidNumberOfVariables

An invalid number of variables was provided to setup

PolynomialDegreeTooLarge

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

Fields of PolynomialDegreeTooLarge

poly_degree: usize

Degree of the polynomial.

supported_degree: usize

Maximum supported degree.

label: String

Index of the offending polynomial.

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