[−][src]Enum snarkos_polycommit::error::Error
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
.
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.
Fields of MissingEvaluation
label: String
The label of the missing polynomial.
The LHS of the equation is empty.
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.
Fields of TooManyCoefficients
The hiding bound was not None
, but the hiding bound was zero.
The hiding bound was too large for the given Powers
.
Fields of HidingBoundToolarge
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
.
Fields of IncorrectDegreeBound
IncorrectInputLength(String)
The inputs to commit
, open
or verify
had incorrect lengths.
MalformedCommitment(String)
The commitment was generated incorrectly, tampered with, or doesn't support the polynomial.
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Error
impl Send for Error
impl Sync for Error
impl Unpin for Error
impl UnwindSafe for Error
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> Same<T> for T
type Output = T
Should always be Self
impl<T> ToString for T where
T: Display + ?Sized,
[src]
T: Display + ?Sized,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,