Enum snarkvm_polycommit::error::Error

source · [−]

pub enum Error {
Show 16 variants    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),
    MalformedCommitment(String),
    Terminated,
}

Expand description

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.