Enum MachineVerificationError 

pub enum MachineVerificationError<SC: StarkGenericConfig> {
    InvalidShardProof(VerificationError<SC>),
    InvalidGlobalProof(VerificationError<SC>),
    NonZeroCumulativeSum(InteractionScope, usize),
    InvalidPublicValuesDigest,
    DebugInteractionsFailed,
    EmptyProof,
    InvalidPublicValues(&'static str),
    TooManyShards,
    InvalidChipOccurrence(String),
    MissingCpuInFirstShard,
    CpuLogDegreeTooLarge(usize),
    InvalidVerificationKey,
}

Errors that can occur during machine verification.

Variants

InvalidShardProof(VerificationError<SC>)

An error occurred during the verification of a shard proof.

InvalidGlobalProof(VerificationError<SC>)

An error occurred during the verification of a global proof.

NonZeroCumulativeSum(InteractionScope, usize)

The cumulative sum is non-zero.

InvalidPublicValuesDigest

The public values digest is invalid.

DebugInteractionsFailed

The debug interactions failed.

EmptyProof

The proof is empty.

InvalidPublicValues(&'static str)

The public values are invalid.

TooManyShards

The number of shards is too large.

InvalidChipOccurrence(String)

The chip occurrence is invalid.

MissingCpuInFirstShard

The CPU is missing in the first shard.

CpuLogDegreeTooLarge(usize)

The CPU log degree is too large.

InvalidVerificationKey

The verification key is not allowed.

Implementations

impl<SC: StarkGenericConfig> MachineVerificationError<SC>

pub fn is_constraints_failing(&self, expected_chip_name: &str) -> bool

This function will check if the verification error is from constraints failing.

pub fn is_local_cumulative_sum_failing(&self) -> bool

This function will check if the verification error is from local cumulative sum failing.

Trait Implementations

impl<SC: StarkGenericConfig> Debug for MachineVerificationError<SC>

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

Formats the value using the given formatter.

impl<SC: StarkGenericConfig> Display for MachineVerificationError<SC>

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

Formats the value using the given formatter.

impl<SC: StarkGenericConfig> Error for MachineVerificationError<SC>

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.