Enum VerificationM4Error 

pub enum VerificationM4Error {
    WrongChipCount {
        n_witness_chips: usize,
        n_chips: usize,
    },
    Main(VerificationError),
    ChipInstance {
        chip_id: usize,
        instance: usize,
        source: VerificationError,
    },
    MissingInstances {
        chip_id: usize,
        n_instances: usize,
        n_active: usize,
    },
    CallMismatch {
        chip_id: usize,
        row: usize,
        caller: Option<(usize, usize)>,
        call_index: usize,
        word: usize,
        passed: u64,
        served: u64,
    },
}

Reason a witness fails to satisfy an M4 constraint system.

A witness is the main chip’s value vector and one list of instance value vectors per chip. It must satisfy every chip’s local constraints on every instance, and serve every chip call with the instance that call names.

Variants

WrongChipCount

Fields

n_witness_chips: usize

n_chips: usize

Main(VerificationError)

ChipInstance

Fields

chip_id: usize

instance: usize

source: VerificationError

MissingInstances

Fields

chip_id: usize

n_instances: usize

n_active: usize

CallMismatch

Fields

chip_id: usize

row: usize

caller: Option<(usize, usize)>

The calling chip instance, or None for the main chip.

call_index: usize

word: usize

passed: u64

served: u64

Trait Implementations

impl Debug for VerificationM4Error

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

Formats the value using the given formatter.

impl Display for VerificationM4Error

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

Formats the value using the given formatter.

impl Error for VerificationM4Error

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<VerificationError> for VerificationM4Error

fn from(source: VerificationError) -> Self

Converts to this type from the input type.