Enum 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,
    },
    InvalidCommitment,
    IncorrectCommitmentSize {
        encountered: usize,
        expected: usize,
    },
    TranscriptError,
    InvalidParameters(String),
    HashingError,
    EncodingError,
    MismatchedLabels {
        commitment_label: String,
        polynomial_label: String,
    },
    MismatchedNumVars {
        poly_nv: usize,
        point_nv: usize,
    },
}

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

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

label: String

The label of the missing polynomial.

MissingLHS

The LHS of the equation is empty.

Fields

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

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

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

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

poly_degree: usize

Degree of the polynomial.

supported_degree: usize

Maximum supported degree.

label: String

Index of the offending polynomial.

InvalidCommitment

This means a failure in verifying the commitment or the opening.

IncorrectCommitmentSize

This means during opening or verification, a commitment of incorrect size (for example, with an insufficient number of entries) was encountered

Fields

encountered: usize

Encountered commitment size

expected: usize

Expected commitment size

TranscriptError

For PCS which rely on Fiat-Shamir to be rendered non-interactive, these are errors that result from incorrect transcript manipulation.

InvalidParameters(String)

This means the required soundness error bound is inherently impossible. E.g., the field is not big enough.

HashingError

Error resulting from hashing in linear code - based PCS.

EncodingError

Shows that encoding is not feasible

MismatchedLabels

This means a commitment with a certain label was matched with a a polynomial which has a different label - which shouldn’t happen

Fields

commitment_label: String

The label of the commitment

polynomial_label: String

The label of the polynomial

MismatchedNumVars

This means multivariate polynomial with a certain number of variables was matched (for instance, during commitment, opening or verification) to a point with a different number of variables.

Fields

poly_nv: usize

The number of variables of the polynomial

point_nv: usize

The number of variables of the point

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

Returns 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, request: &mut Request<'a>)

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

Provides type-based access to context intended for error reports.