Enum LogupGkrVerificationError 

pub enum LogupGkrVerificationError<EF> {
    InconsistentSumcheckClaim(usize),
    InconsistentEvaluation(usize),
    SumcheckError(SumcheckError),
    InvalidShape,
    InvalidFirstLayerDimension(u32, u32),
    InvalidLastLayerDimension(usize, usize),
    TracePointMismatch,
    CumulativeSumMismatch(EF, EF),
    NumeratorEvaluationMismatch(EF, EF),
    DenominatorEvaluationMismatch(EF, EF),
    ZeroDenominator,
}

An error type for LogUp GKR.

Variants

InconsistentSumcheckClaim(usize)

The sumcheck claim is not consistent with the calculated one from the prover messages.

InconsistentEvaluation(usize)

Inconsistency between the calculated evaluation and the sumcheck evaluation.

SumcheckError(SumcheckError)

Error when verifying sumcheck proof.

InvalidShape

The proof shape does not match the expected one for the given number of interactions.

InvalidFirstLayerDimension(u32, u32)

The size of the first layer does not match the expected one.

InvalidLastLayerDimension(usize, usize)

The dimension of the last layer does not match the expected one.

TracePointMismatch

The trace point does not match the claimed opening point.

CumulativeSumMismatch(EF, EF)

The cumulative sum does not match the claimed one.

NumeratorEvaluationMismatch(EF, EF)

The numerator evaluation does not match the expected one.

DenominatorEvaluationMismatch(EF, EF)

The denominator evaluation does not match the expected one.

ZeroDenominator

The denominator guts had zero in it.

Trait Implementations

impl<EF: Debug> Debug for LogupGkrVerificationError<EF>

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

Formats the value using the given formatter.

impl<EF> Display for LogupGkrVerificationError<EF>

where EF: Display,

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

Formats the value using the given formatter.

impl<EF> Error for LogupGkrVerificationError<EF>

where Self: Debug + Display,

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl<EF> From<SumcheckError> for LogupGkrVerificationError<EF>

fn from(source: SumcheckError) -> Self

Converts to this type from the input type.