Enum Error 

pub enum Error {
    ProofCatCore(Error),
    Plonkish(Error),
    FieldCat(Error),
    ColumnOutOfBounds {
        index: usize,
        column_count: usize,
    },
    EmptyTrace,
    ColumnCountMismatch {
        expected: usize,
        actual: usize,
    },
    TraceNotPowerOfTwo {
        row_count: usize,
    },
    UnsatisfiedAirConstraint {
        row: usize,
    },
    NoConstraints,
    InsufficientRows {
        row_count: usize,
    },
    RowLengthMismatch {
        row: usize,
        expected: usize,
        actual: usize,
    },
}

All errors that can arise in machine-cat.

Variants

ProofCatCore(Error)

An error propagated from proof-cat-core.

Plonkish(Error)

An error propagated from plonkish-cat.

FieldCat(Error)

An error propagated from field-cat (field arithmetic or byte encoding).

ColumnOutOfBounds

Column index out of bounds.

Fields

index: usize

The column index that was accessed.

column_count: usize

The total number of columns.

EmptyTrace

Trace has zero rows.

ColumnCountMismatch

Trace column count does not match the AIR’s column count.

Fields

expected: usize

The expected column count (from the AIR).

actual: usize

The actual column count (from the trace).

TraceNotPowerOfTwo

Trace row count is not a power of two.

Fields

row_count: usize

The row count.

UnsatisfiedAirConstraint

An AIR constraint was not satisfied at a row pair.

Fields

row: usize

The row index of the failing pair.

NoConstraints

AIR has no constraints.

InsufficientRows

Trace has fewer than 2 rows.

Fields

row_count: usize

The row count.

RowLengthMismatch

Row length does not match column count.

Fields

row: usize

The row index.

expected: usize

The expected length.

actual: usize

The actual length.

Trait Implementations

impl Debug for Error

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

Formats the value using the given formatter.

impl Display for Error

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

Formats the value using the given formatter.

impl Error for Error

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<Error> for Error

fn from(e: Error) -> Self

Converts to this type from the input type.

impl From<Error> for Error

fn from(e: Error) -> Self

Converts to this type from the input type.

impl From<Error> for Error

fn from(e: Error) -> Self

Converts to this type from the input type.