Enum ExecutionError

pub enum ExecutionError {
    AdviceMapKeyNotFound {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        key: [BaseElement; 4],
    },
    AdviceMapKeyAlreadyPresent {
        key: [BaseElement; 4],
        prev_values: Vec<BaseElement>,
        new_values: Vec<BaseElement>,
    },
    AdviceStackReadFailed {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        row: RowIndex,
    },
    CallInSyscall(&'static str),
    CallerNotInSyscall,
    CircularExternalNode(RpoDigest),
    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: RpoDigest,
    },
    EventError {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        error: Box<dyn Error + Sync + Send>,
    },
    Ext2InttError(Ext2InttError),
    FailedAssertion {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        clk: RowIndex,
        err_code: BaseElement,
        err_msg: Option<Arc<str>>,
    },
    FailedToExecuteProgram(&'static str),
    InvalidFmpValue(BaseElement, BaseElement),
    InvalidFriDomainSegment(u64),
    InvalidFriLayerFolding(QuadExtension<BaseElement>, QuadExtension<BaseElement>),
    InvalidStackDepthOnReturn {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        depth: usize,
    },
    InvalidMerkleTreeDepth {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        depth: BaseElement,
    },
    InvalidMerkleTreeNodeIndex {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        depth: BaseElement,
        index: BaseElement,
    },
    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: RpoDigest,
    },
    MastNodeNotFoundInForest {
        node_id: MastNodeId,
    },
    MemoryError(MemoryError),
    NoMastForestWithProcedure {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        root_digest: RpoDigest,
    },
    MerklePathVerificationFailed {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        value: [BaseElement; 4],
        index: BaseElement,
        root: RpoDigest,
        err_code: BaseElement,
        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: BaseElement,
    },
    NotBinaryValueOp {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        value: BaseElement,
    },
    NotBinaryValueLoop {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        value: BaseElement,
    },
    NotU32Value {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        value: BaseElement,
        err_code: BaseElement,
    },
    OutputStackOverflow(usize),
    ProgramAlreadyExecuted,
    ProverError(ProverError),
    SmtNodeNotFound {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        node: [BaseElement; 4],
    },
    SmtNodePreImageNotValid {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        node: [BaseElement; 4],
        preimage_len: usize,
    },
    SyscallTargetNotInKernel {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        proc_root: RpoDigest,
    },
    AceChipError {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        error: AceError,
    },
}

Variants

AdviceMapKeyNotFound

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

key: [BaseElement; 4]

AdviceMapKeyAlreadyPresent

Fields

key: [BaseElement; 4]

prev_values: Vec<BaseElement>

new_values: Vec<BaseElement>

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(RpoDigest)

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: RpoDigest

EventError

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

error: Box<dyn Error + Sync + Send>

Ext2InttError(Ext2InttError)

FailedAssertion

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

clk: RowIndex

err_code: BaseElement

err_msg: Option<Arc<str>>

FailedToExecuteProgram(&'static str)

InvalidFmpValue(BaseElement, BaseElement)

InvalidFriDomainSegment(u64)

InvalidFriLayerFolding(QuadExtension<BaseElement>, QuadExtension<BaseElement>)

InvalidStackDepthOnReturn

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

depth: usize

InvalidMerkleTreeDepth

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

depth: BaseElement

InvalidMerkleTreeNodeIndex

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

depth: BaseElement

index: BaseElement

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: RpoDigest

MastNodeNotFoundInForest

Fields

node_id: MastNodeId

MemoryError(MemoryError)

NoMastForestWithProcedure

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

root_digest: RpoDigest

MerklePathVerificationFailed

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

value: [BaseElement; 4]

index: BaseElement

root: RpoDigest

err_code: BaseElement

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: BaseElement

NotBinaryValueOp

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

value: BaseElement

NotBinaryValueLoop

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

value: BaseElement

NotU32Value

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

value: BaseElement

err_code: BaseElement

OutputStackOverflow(usize)

ProgramAlreadyExecuted

ProverError(ProverError)

SmtNodeNotFound

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

node: [BaseElement; 4]

SmtNodePreImageNotValid

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

node: [BaseElement; 4]

preimage_len: usize

SyscallTargetNotInKernel

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

proc_root: RpoDigest

AceChipError

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

error: AceError

Implementations

impl ExecutionError

pub fn advice_map_key_not_found( key: [BaseElement; 4], err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> ExecutionError

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

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

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

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

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

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

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

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

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

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

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

pub fn merkle_path_verification_failed( value: [BaseElement; 4], index: BaseElement, root: RpoDigest, err_code: BaseElement, err_msg: Option<Arc<str>>, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> ExecutionError

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

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

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>, ) -> ExecutionError

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

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

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

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

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

pub fn smt_node_not_found( node: [BaseElement; 4], err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> ExecutionError

pub fn smt_node_preimage_not_valid( node: [BaseElement; 4], preimage_len: usize, err_ctx: &ErrorContext<'_, impl MastNodeExt>, ) -> ExecutionError

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

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

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<(), Error>

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<(), Error>

Formats the value using the given formatter.

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.

impl From<Ext2InttError> for ExecutionError

fn from(value: Ext2InttError) -> ExecutionError

Converts to this type from the input type.