Enum zkevm_circuits::test_util::CircuitTestError

pub enum CircuitTestError {
    NotEnoughAttributes,
    CannotHandleBlock(String),
    CannotConvertBlock(String),
    SanityCheckChunks(String),
    SynthesisFailure {
        circuit: Circuit,
        reason: Error,
    },
    VerificationFailed {
        circuit: Circuit,
        reasons: Vec<VerifyFailure>,
    },
}

Errors for Circuit test

Variants

NotEnoughAttributes

We didn’t specify enough attributes to define a block for the circuit test

CannotHandleBlock(String)

Something wrong in the handle_block

CannotConvertBlock(String)

Something wrong in the block_convert

SanityCheckChunks(String)

Something wrong in the chunk_convert

SynthesisFailure

Fields

circuit: Circuit

The circuit that causes the failure

reason: Error

The MockProver error that causes the failure

Problem constructing MockProver

VerificationFailed

Fields

circuit: Circuit

The circuit that causes the failure

reasons: Vec<VerifyFailure>

The list of verification failure

Failed to verify a circuit in the MockProver

Implementations

impl CircuitTestError

pub fn assert_evm_failure(&self)

Filter out EVM circuit failures

Errors must come from EVM circuit and must be unsatisfied constraints or lookup failure

Trait Implementations

impl Debug for CircuitTestError

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

Formats the value using the given formatter.

impl Display for CircuitTestError

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

Formats the value using the given formatter.

impl Error for CircuitTestError

fn source(&self) -> Option<&(dyn Error + 'static)>

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.