Enum ark_poly_commit::error::Error [−][src]
pub enum Error {}Show 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), InvalidNumberOfVariables, PolynomialDegreeTooLarge { poly_degree: usize, supported_degree: usize, label: String, },
Expand description
The error type for PolynomialCommitment
.
Variants
The query set contains a label for a polynomial that was not provided as
input to the PC::open
.
Show fields
Fields of MissingPolynomial
label: String
The label of the missing polynomial.
Evaluations
does not contain an evaluation for the polynomial labelled
label
at a particular query.
Show fields
Fields of MissingEvaluation
label: String
The label of the missing polynomial.
The LHS of the equation is empty.
Show fields
Fields of MissingLHS
label: String
The label of the equation.
The provided polynomial was meant to be hiding, but rng
was None
.
The degree provided in setup was too small; degree 0 polynomials are not supported.
The degree of the polynomial passed to commit
or open
was too large.
Show fields
The hiding bound was not None
, but the hiding bound was zero.
The hiding bound was too large for the given Powers
.
Show fields
The degree provided to trim
was too large.
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
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
.
Show fields
IncorrectInputLength(String)
The inputs to commit
, open
or verify
had incorrect lengths.
An invalid number of variables was provided to setup
The degree of the index
-th polynomial passed to commit
, open
or check
was incorrect, that is, supported_degree <= poly_degree
Show fields
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Error
impl UnwindSafe for Error