Enum ProfileError 

#[non_exhaustive]
pub enum ProfileError {
    Schedule(WhirConfigError),
    Grinding {
        required: usize,
        ceiling: usize,
    },
    ZeroQueries,
}

Why a profile could not be turned into a schedule.

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.

Schedule(WhirConfigError)

The derivation refused the profile.

Grinding

The analysis demands more grinding than one witness of the alphabet can carry.

Fields

required: usize

Bits the analysis demands.

ceiling: usize

Bits one witness carries.

ZeroQueries

The derived schedule opens no position, so nothing ties a codeword to the commitment.

Queries are the only part of the run that tests proximity.

A schedule opening none of them accepts any codeword, whatever the level reported.

That is what crediting grinding with the whole target derives to.

The protocol level is a saturating difference.

So the credit is whole whenever the budget reaches the target, not only at zero.

The floor lives in the schedule itself, so every constructor meets it.

Trait Implementations

impl Debug for ProfileError

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

Formats the value using the given formatter.

impl Display for ProfileError

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

Formats the value using the given formatter.

impl Error for ProfileError

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.