Expand description

A checked transaction is type-wrapper for transactions which have been checked. It is impossible to construct a checked transaction without performing necessary checks.

This allows the VM to accept transactions with metadata that have been already verified upstream.

Re-exports

pub use types::*;

Modules

Implementation for different transaction types, groupd in submodules.

Structs

The type describes that the inner transaction was already checked.
Possible types of transaction checks.

Enums

The IntoChecked metadata for CheckedTransaction.
The Enum version of Checked<Transaction> allows getting the inner variant without losing “checked” status.

Traits

Performs predicate verification for a transaction
Performs checks for a transaction