Enum RingSwitchError 

pub enum RingSwitchError {
    MalformedTensor {
        expected: usize,
        actual: usize,
    },
    PointWidthMismatch {
        expected: usize,
        actual: usize,
    },
    ClaimMismatch,
    Sumcheck(SumcheckError),
    FinalCheck,
    NonEmptyPowWitnesses {
        actual: usize,
    },
}

Why a ring-switching proof was rejected.

Variants

MalformedTensor

ŝ does not carry DIMENSION² base coefficients, so neither of its readings is defined.

Fields

expected: usize

The number of coefficients a tensor element must carry.

actual: usize

The number the proof supplied.

PointWidthMismatch

The evaluation point does not name the coordinate count the description fixes.

Neither side can then bind it as the step the description names.

Fields

expected: usize

The coordinate count the description fixes.

actual: usize

The number the point supplied.

ClaimMismatch

The claimed evaluation is not the eq̃(·, r_low)-combination of ŝ’s columns.

Sumcheck(SumcheckError)

A round of the batched sumcheck failed.

FinalCheck

The surviving claim does not close the sumcheck against the equality element.

NonEmptyPowWitnesses

The sumcheck carries PoW witnesses this reduction never grinds for, so a proof carrying junk witnesses would otherwise verify identically to one carrying none.

Fields

actual: usize

The number of witnesses the proof supplied.

Trait Implementations

impl Debug for RingSwitchError

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

Formats the value using the given formatter.

impl Display for RingSwitchError

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

Formats the value using the given formatter.

impl Eq for RingSwitchError

impl Error for RingSwitchError

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 From<SumcheckError> for RingSwitchError

fn from(source: SumcheckError) -> Self

Converts to this type from the input type.

impl PartialEq for RingSwitchError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RingSwitchError