Enum winterfell::ProverError
source · [−]pub enum ProverError {
UnsatisfiedTransitionConstraintError(usize),
MismatchedConstraintPolynomialDegree(usize, usize),
UnsupportedFieldExtension(usize),
}
Expand description
Represents an error returned by the prover during an execution of the protocol.
Variants
UnsatisfiedTransitionConstraintError(usize)
This error occurs when a transition constraint evaluated over a specific execution trace does not evaluate to zero at any of the steps.
MismatchedConstraintPolynomialDegree(usize, usize)
This error occurs when polynomials built from the columns of a constraint evaluation table do not all have the same degree.
UnsupportedFieldExtension(usize)
This error occurs when the base field specified by the AIR does not support field extension of degree specified by proof options.
Trait Implementations
sourceimpl Debug for ProverError
impl Debug for ProverError
sourceimpl Display for ProverError
impl Display for ProverError
sourceimpl PartialEq<ProverError> for ProverError
impl PartialEq<ProverError> for ProverError
sourcefn eq(&self, other: &ProverError) -> bool
fn eq(&self, other: &ProverError) -> bool
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
sourcefn ne(&self, other: &ProverError) -> bool
fn ne(&self, other: &ProverError) -> bool
This method tests for !=
.
impl StructuralPartialEq for ProverError
Auto Trait Implementations
impl RefUnwindSafe for ProverError
impl Send for ProverError
impl Sync for ProverError
impl Unpin for ProverError
impl UnwindSafe for ProverError
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more