Enum BitRingSwitchProofError 

#[non_exhaustive]
pub enum BitRingSwitchProofError {
    Width(TranscriptWidth),
    Reduction(BitRingSwitchError),
    ClaimMismatch,
    SuccessorClaimMismatch,
    NoReading,
    NoSuccessorView,
    Sumcheck(SumcheckError),
    FinalCheck,
    ClaimCount {
        expected: usize,
        actual: usize,
    },
    NonEmptyPowWitnesses {
        actual: usize,
    },
}

Why a bit-alphabet reduction was rejected.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Width(TranscriptWidth)

A list crossing the wire is not the width the description fixes.

Reduction(BitRingSwitchError)

The reduction could not be run over the point it was set up at.

ClaimMismatch

The claimed evaluation is not the column reading of the element.

SuccessorClaimMismatch

The claimed successor evaluation is not the column reading of the elements.

NoReading

Neither a current nor a successor evaluation was supplied, so nothing is checked.

NoSuccessorView

A successor evaluation was supplied to a reduction without a successor view.

Sumcheck(SumcheckError)

A round of the batched sumcheck failed.

FinalCheck

The surviving claim does not close the sumcheck against the closing weight.

ClaimCount

A batch carries elements or readings for a different number of claims than its setup.

Fields

expected: usize

Claims the setup was built over.

actual: usize

Claims the proof or the readings carry.

NonEmptyPowWitnesses

The sumcheck carries grinding witnesses this reduction never searches for.

Fields

actual: usize

Witnesses the proof supplied.

Trait Implementations

impl Debug for BitRingSwitchProofError

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

Formats the value using the given formatter.

impl Display for BitRingSwitchProofError

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

Formats the value using the given formatter.

impl Eq for BitRingSwitchProofError

impl Error for BitRingSwitchProofError

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<BitRingSwitchError> for BitRingSwitchProofError

fn from(source: BitRingSwitchError) -> Self

Converts to this type from the input type.

impl From<SumcheckError> for BitRingSwitchProofError

fn from(source: SumcheckError) -> Self

Converts to this type from the input type.

impl From<TranscriptWidth> for BitRingSwitchProofError

fn from(source: TranscriptWidth) -> Self

Converts to this type from the input type.

impl PartialEq for BitRingSwitchProofError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for BitRingSwitchProofError