Enum ark_poly_commit::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),
InvalidNumberOfVariables,
PolynomialDegreeTooLarge {
poly_degree: usize,
supported_degree: usize,
label: String,
},
}
Expand description
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
.
MissingEvaluation
Evaluations
does not contain an evaluation for the polynomial labelled
label
at a particular query.
MissingLHS
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
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
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
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
The degree of the index
-th polynomial passed to commit
, open
or check
was incorrect, that is, supported_degree <= poly_degree