Enum BooleanPcsError 

#[non_exhaustive]
pub enum BooleanPcsError<EF, MmcsError> {
    WitnessTooNarrow {
        needed: usize,
        actual: usize,
    },
    Config(BinaryPcsConfigError),
    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),
    Commitment(BinaryPcsError<EF, MmcsError>),
    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.

Config(BinaryPcsConfigError)

The schedule was not derived for the level this commitment runs over.

ConfigArity

The commitment 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 neither reading, so nothing at its point would be checked.

Fields

index: usize

Position of the opening among those supplied.

RowVariables

The successor view steps within more coordinates than the witness has.

Fields

index: usize

Position of the opening among those supplied.

row_variables: usize

Row coordinates the opening names.

num_variables: usize

Variables the committed function 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 among those supplied.

Packing(PackError)

The bits could not be packed into the elements a commitment holds.

Reduction(BitRingSwitchError)

The reduction could not be set up over the point supplied.

ReductionProof(BitRingSwitchProofError)

The reduction’s own proof was rejected.

Commitment(BinaryPcsError<EF, MmcsError>)

The commitment refused the opening.

SurvivingClaim

The commitment opened a value the reduction did not leave behind.

Without this the reduction would prove a claim about some other polynomial.

Trait Implementations

impl<EF: Debug, MmcsError: Debug> Debug for BooleanPcsError<EF, MmcsError>

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

Formats the value using the given formatter.

impl<EF, MmcsError> Display for BooleanPcsError<EF, MmcsError>

where BinaryPcsError<EF, MmcsError>: Display,

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

Formats the value using the given formatter.

impl<EF, MmcsError> Error for BooleanPcsError<EF, MmcsError>

where BinaryPcsError<EF, MmcsError>: Error, 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, MmcsError> From<PackError> for BooleanPcsError<EF, MmcsError>

fn from(source: PackError) -> Self

Converts to this type from the input type.