linera-execution 0.15.17

Persistent data and the corresponding logics used by the Linera protocol for runtime and execution of smart contracts / applications.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56

// Copyright (c) Zefchain Labs, Inc.
// SPDX-License-Identifier: Apache-2.0

//! Support for user applications compiled for the EVM
//!
//! We are using Revm for implementing it.

#![cfg(with_revm)]

mod data_types;
mod database;
pub mod revm;

use revm_context::result::{HaltReason, Output, SuccessReason};
use revm_primitives::Log;
use thiserror::Error;

#[derive(Debug, Error)]
pub enum EvmExecutionError {
    #[error("Failed to load contract EVM module: {_0}")]
    LoadContractModule(#[source] anyhow::Error),
    #[error("Failed to load service EVM module: {_0}")]
    LoadServiceModule(#[source] anyhow::Error),
    #[error("Commit error {0}")]
    CommitError(String),
    #[error("It is illegal to call {0} from an operation")]
    IllegalOperationCall(String),
    #[error("The function {0} is being called but is missing from the bytecode API")]
    MissingFunction(String),
    #[error("Incorrect contract creation: {0}")]
    IncorrectContractCreation(String),
    #[error("The operation should contain the evm selector and so have length 4 or more")]
    OperationIsTooShort,
    #[error("Transact error {0}")]
    TransactError(String),
    #[error("Transact commit error {0}")]
    TransactCommitError(String),
    #[error("Precompile error: {0}")]
    PrecompileError(String),
    #[error("The operation was reverted with {gas_used} gas used and output {output:?}")]
    Revert {
        gas_used: u64,
        output: revm_primitives::Bytes,
    },
    #[error("The operation was halted with {gas_used} gas used due to {reason:?}")]
    Halt { gas_used: u64, reason: HaltReason },
    #[error("The interpreter did not return, reason={:?}, gas_used={}, gas_refunded={}, logs={:?}, output={:?}",
            reason, gas_used, gas_refunded, logs, output)]
    NoReturnInterpreter {
        reason: SuccessReason,
        gas_used: u64,
        gas_refunded: u64,
        logs: Vec<Log>,
        output: Output,
    },
}