Enum BooleanWhirError 

#[non_exhaustive]
pub enum BooleanWhirError {
    WitnessTooNarrow {
        needed: usize,
        actual: usize,
    },
    ConfigArity {
        expected: usize,
        actual: usize,
    },
    WitnessArity {
        expected: usize,
        actual: usize,
    },
    NoPoints,
    ClaimCount {
        expected: usize,
        values: usize,
        reductions: usize,
    },
    PointArity {
        expected: usize,
        actual: usize,
    },
    NoReading {
        index: usize,
    },
    RowVariables {
        index: usize,
        row_variables: usize,
        num_variables: usize,
    },
    ReadingShape {
        index: usize,
    },
    Packing(PackError),
    Reduction(BitRingSwitchError),
    ReductionProof(BitRingSwitchProofError),
    Commit(WhirConfigError),
    Opening(VerifierError),
    SurvivingClaim,
}

Why a Boolean commitment or opening was refused.

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.

WitnessTooNarrow

The witness is narrower than the coordinates one element absorbs.

Fields

needed: usize

Coordinates one element absorbs.

actual: usize

Variables the witness has.

ConfigArity

The schedule does not commit the elements the packing holds.

Fields

expected: usize

Variables the packing holds.

actual: usize

Variables the schedule commits.

WitnessArity

The witness does not cover the committed hypercube.

Fields

expected: usize

Variables the commitment holds.

actual: usize

Variables the witness packs to.

NoPoints

No opening point was supplied, so there is nothing to prove.

ClaimCount

The claim counts on the two sides of an opening disagree.

Fields

expected: usize

Points supplied.

values: usize

Values supplied.

reductions: usize

Reductions the proof carries.

PointArity

The opening point does not name the committed function’s variables.

Fields

expected: usize

Variables the committed function has.

actual: usize

Variables the point names.

NoReading

An opening asks for no reading at all.

Fields

index: usize

Position of the opening.

RowVariables

An opening steps within more rows than the witness has.

Fields

index: usize

Position of the opening.

row_variables: usize

Trailing coordinates the successor view steps within.

num_variables: usize

Variables the witness has.

ReadingShape

A reading is present where its opening asks for none, or missing where it asks for one.

Fields

index: usize

Position of the opening.

Packing(PackError)

The bits do not reinterpret as whole elements of the alphabet.

Reduction(BitRingSwitchError)

A reduction could not be set up for its opening.

ReductionProof(BitRingSwitchProofError)

A reduction proof was rejected.

Commit(WhirConfigError)

The proximity argument refused to commit or to open.

Opening(VerifierError)

The proximity opening was rejected.

SurvivingClaim

A surviving claim was not closed by the value the commitment opened.

Trait Implementations

impl Debug for BooleanWhirError

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

Formats the value using the given formatter.

impl Display for BooleanWhirError

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

Formats the value using the given formatter.

impl Error for BooleanWhirError

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.