Crate executive_state[][src]

Execute transactions and modify State. This is glue code between the vapcore and account-state crates and contains everything that requires Machine or Executive (or types thereof).

Structs

ApplyOutcome

Used to return information about an State::apply operation.

Enums

ProvedExecution

Return type of proof validity check.

Traits

ExecutiveState

Collects code that needs a Machine and/or Executive

Functions

check_proof

Check the given proof of execution. Err(ExecutionError::Internal) indicates failure, everything else indicates a successful proof (as the transaction itself may be poorly chosen).

prove_transaction_virtual

Prove a virtual transaction on the given state. Returns None when the transaction could not be proved, and a proof otherwise.

Type Definitions

ApplyResult

Result type for the execution (“application”) of a transaction.