Enum ExecutionError

pub enum ExecutionError {
    AdviceMapKeyNotFound {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        key: Word,
    },
    AdviceMapKeyAlreadyPresent {
        key: Word,
        prev_values: Vec<Felt>,
        new_values: Vec<Felt>,
    },
    AdviceStackReadFailed {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        row: RowIndex,
    },
    CallInSyscall(&'static str),
    CallerNotInSyscall,
    CircularExternalNode(Digest),
    CycleLimitExceeded(u32),
    DecoratorNotFoundInForest {
        decorator_id: DecoratorId,
    },
    DivideByZero {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        clk: RowIndex,
    },
    DynamicNodeNotFound {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        digest: Digest,
    },
    EventError {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        error: Box<dyn Error + Send + Sync + 'static>,
    },
    Ext2InttError(Ext2InttError),
    FailedAssertion {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        clk: RowIndex,
        err_code: Felt,
        err_msg: Option<Arc<str>>,
    },
    FailedToExecuteProgram(&'static str),
    InvalidFmpValue(Felt, Felt),
    InvalidFriDomainSegment(u64),
    InvalidFriLayerFolding(QuadExtension<Felt>, QuadExtension<Felt>),
    InvalidStackDepthOnReturn {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        depth: usize,
    },
    InvalidMerkleTreeDepth {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        depth: Felt,
    },
    InvalidMerkleTreeNodeIndex {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        depth: Felt,
        index: Felt,
    },
    LogArgumentZero {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        clk: RowIndex,
    },
    MalformedSignatureKey {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        key_type: &'static str,
    },
    MalformedMastForestInHost {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        root_digest: Digest,
    },
    MastNodeNotFoundInForest {
        node_id: MastNodeId,
    },
    MemoryError(MemoryError),
    NoMastForestWithProcedure {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        root_digest: Digest,
    },
    MerklePathVerificationFailed {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        value: Word,
        index: Felt,
        root: Digest,
        err_code: Felt,
        err_msg: Option<Arc<str>>,
    },
    MerkleStoreLookupFailed {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        err: MerkleError,
    },
    MerkleStoreMergeFailed {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        err: MerkleError,
    },
    MerkleStoreUpdateFailed {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        err: MerkleError,
    },
    NotBinaryValueIf {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        value: Felt,
    },
    NotBinaryValueOp {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        value: Felt,
    },
    NotBinaryValueLoop {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        value: Felt,
    },
    NotU32Value {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        value: Felt,
        err_code: Felt,
    },
    NotU32StackValue {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        clk: RowIndex,
        input: u64,
    },
    OutputStackOverflow(usize),
    ProgramAlreadyExecuted,
    ProverError(ProverError),
    SmtNodeNotFound {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        node: Word,
    },
    SmtNodePreImageNotValid {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        node: Word,
        preimage_len: usize,
    },
    SyscallTargetNotInKernel {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        proc_root: Digest,
    },
    AceChipError {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        error: AceError,
    },
}

Variants

AdviceMapKeyNotFound

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

key: Word

AdviceMapKeyAlreadyPresent

Fields

key: Word

prev_values: Vec<Felt>

new_values: Vec<Felt>

AdviceStackReadFailed

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

row: RowIndex

CallInSyscall(&'static str)

This error is caught by the assembler, so we don’t need diagnostics here.

CallerNotInSyscall

This error is caught by the assembler, so we don’t need diagnostics here.

CircularExternalNode(Digest)

CycleLimitExceeded(u32)

DecoratorNotFoundInForest

Fields

decorator_id: DecoratorId

DivideByZero

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

clk: RowIndex

DynamicNodeNotFound

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

digest: Digest

EventError

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

error: Box<dyn Error + Send + Sync + 'static>

Ext2InttError(Ext2InttError)

FailedAssertion

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

clk: RowIndex

err_code: Felt

err_msg: Option<Arc<str>>

FailedToExecuteProgram(&'static str)

InvalidFmpValue(Felt, Felt)

InvalidFriDomainSegment(u64)

InvalidFriLayerFolding(QuadExtension<Felt>, QuadExtension<Felt>)

InvalidStackDepthOnReturn

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

depth: usize

InvalidMerkleTreeDepth

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

depth: Felt

InvalidMerkleTreeNodeIndex

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

depth: Felt

index: Felt

LogArgumentZero

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

clk: RowIndex

MalformedSignatureKey

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

key_type: &'static str

MalformedMastForestInHost

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

root_digest: Digest

MastNodeNotFoundInForest

Fields

node_id: MastNodeId

MemoryError(MemoryError)

NoMastForestWithProcedure

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

root_digest: Digest

MerklePathVerificationFailed

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

value: Word

index: Felt

root: Digest

err_code: Felt

err_msg: Option<Arc<str>>

MerkleStoreLookupFailed

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

err: MerkleError

MerkleStoreMergeFailed

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

err: MerkleError

MerkleStoreUpdateFailed

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

err: MerkleError

NotBinaryValueIf

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

value: Felt

NotBinaryValueOp

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

value: Felt

NotBinaryValueLoop

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

value: Felt

NotU32Value

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

value: Felt

err_code: Felt

NotU32StackValue

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

clk: RowIndex

input: u64

OutputStackOverflow(usize)

ProgramAlreadyExecuted

ProverError(ProverError)

SmtNodeNotFound

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

node: Word

SmtNodePreImageNotValid

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

node: Word

preimage_len: usize

SyscallTargetNotInKernel

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

proc_root: Digest

AceChipError

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

error: AceError

Implementations

impl ExecutionError

pub fn advice_map_key_not_found( key: Word, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn advice_stack_read_failed( row: RowIndex, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn divide_by_zero( clk: RowIndex, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn input_not_u32( clk: RowIndex, input: u64, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn dynamic_node_not_found( digest: Digest, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn event_error( error: Box<dyn Error + Send + Sync + 'static>, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn failed_assertion( clk: RowIndex, err_code: Felt, err_msg: Option<Arc<str>>, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn invalid_merkle_tree_depth( depth: Felt, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn invalid_merkle_tree_node_index( depth: Felt, index: Felt, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn invalid_stack_depth_on_return( depth: usize, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn log_argument_zero( clk: RowIndex, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn malfored_mast_forest_in_host( root_digest: Digest, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn malformed_signature_key( key_type: &'static str, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn merkle_path_verification_failed( value: Word, index: Felt, root: Digest, err_code: Felt, err_msg: Option<Arc<str>>, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn merkle_store_lookup_failed( err: MerkleError, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn merkle_store_merge_failed( err: MerkleError, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

Note: This error currently never occurs, since MerkleStore::merge_roots() never fails.

pub fn merkle_store_update_failed( err: MerkleError, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn no_mast_forest_with_procedure( root_digest: Digest, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn not_binary_value_if( value: Felt, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn not_binary_value_op( value: Felt, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn not_binary_value_loop( value: Felt, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn not_u32_value( value: Felt, err_code: Felt, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn smt_node_not_found( node: Word, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn smt_node_preimage_not_valid( node: Word, preimage_len: usize, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn syscall_target_not_in_kernel( proc_root: Digest, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> Self

pub fn failed_arithmetic_evaluation( err_ctx: &ErrorContext<'_, impl MastNodeExt>, error: AceError, ) -> Self

Trait Implementations

impl AsRef<dyn Diagnostic> for ExecutionError

fn as_ref(&self) -> &(dyn Diagnostic + 'static)

Converts this type into a shared reference of the (usually inferred) input type.

impl Debug for ExecutionError

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

Formats the value using the given formatter.

impl Diagnostic for ExecutionError

fn code(&self) -> Option<Box<dyn Display + '_>>

Unique diagnostic code that can be used to look up more information about this Diagnostic. Ideally also globally unique, and documented in the toplevel crate’s documentation for easy searching. Rust path format (foo::bar::baz) is recommended, but more classic codes like E0123 or enums will work just fine.

fn help(&self) -> Option<Box<dyn Display + '_>>

Additional help text related to this Diagnostic. Do you have any advice for the poor soul who’s just run into this issue?

fn severity(&self) -> Option<Severity>

Diagnostic severity. This may be used by ReportHandlers to change the display format of this diagnostic.

fn labels(&self) -> Option<Box<dyn Iterator<Item = LabeledSpan> + '_>>

Labels to apply to this Diagnostic’s Diagnostic::source_code

fn source_code(&self) -> Option<&dyn SourceCode>

Source code to apply this Diagnostic’s Diagnostic::labels to.

fn related(&self) -> Option<Box<dyn Iterator<Item = &dyn Diagnostic> + '_>>

Additional related Diagnostics.

fn url(&self) -> Option<Box<dyn Display + '_>>

URL to visit for a more detailed explanation/help about this Diagnostic.

fn diagnostic_source(&self) -> Option<&dyn Diagnostic>

The cause of the error.

impl Display for ExecutionError

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

Formats the value using the given formatter.

impl From<Ext2InttError> for ExecutionError

fn from(value: Ext2InttError) -> Self

Converts to this type from the input type.

impl Error for ExecutionError

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.