Enum HidingBoundClassification 

#[non_exhaustive]
pub enum HidingBoundClassification {
    Proven,
    Conditional,
    Approximation,
    Unavailable,
}

How much theorem support a reported bound has.

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.

Proven

The displayed component or ideal-IOP composition follows from a theorem.

This label is local to the term and its documented branch premise. For example, a query-miss term is proven when the oracle is at least the reported radius from its code; that does not upgrade a conditional close-word list or MCA branch in the Capacity regime. Likewise, a proven aggregate covers only the ideal-IOP composition reported here, not the reductions and compiler steps excluded by this module.

Conditional

The term depends on an additional coding or compiler assumption.

This is used for the capacity-rate coding conjectures and for the post-PoW query estimate under the Fiat–Shamir grinding model.

Approximation

The term is a numerical approximation, not a conservative theorem bound.

Retained for API compatibility and downstream constructions of approximate bounds. This crate’s reports do not currently produce it.

Unavailable

No accepted numerical bound is encoded for this geometry.

Trait Implementations

impl Clone for HidingBoundClassification

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for HidingBoundClassification

impl Debug for HidingBoundClassification

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

Formats the value using the given formatter.

impl Eq for HidingBoundClassification

impl PartialEq for HidingBoundClassification

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for HidingBoundClassification

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for HidingBoundClassification