Enum winter_prover::ProverError

pub enum ProverError {
    UnsatisfiedTransitionConstraintError(usize),
    MismatchedConstraintPolynomialDegree(usize, usize),
}

Represents an error returned by the prover during an execution of the protocol.

Variants

UnsatisfiedTransitionConstraintError

This error occurs when a transition constraint evaluated over a specific execution trace does not evaluate to zero at any of the steps.

Tuple Fields of UnsatisfiedTransitionConstraintError

0: usize

MismatchedConstraintPolynomialDegree

This error occurs when polynomials built from the columns of a constraint evaluation table do not all have the same degree.

Tuple Fields of MismatchedConstraintPolynomialDegree

0: usize1: usize

Trait Implementations

impl Debug for ProverError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for ProverError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq<ProverError> for ProverError

fn eq(&self, other: &ProverError) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &ProverError) -> bool

This method tests for !=.

impl StructuralPartialEq for ProverError