Module checked_transaction

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

• types
  Implementation for different transaction types, groupd in submodules.

Structs

• CheckPredicateParams
  The parameters needed for checking a predicate
• Checked
  The type describes that the inner transaction was already checked.
• Checks
  Possible types of transaction checks.
• Ready
  Transaction that has checks for all dynamic values, e.g. gas_price

Enums

• CheckError
  The error can occur when transforming transactions into the Checked type.
• CheckedMetadata
  The IntoChecked metadata for CheckedTransaction.
• CheckedTransaction
  The Enum version of Checked<Transaction> allows getting the inner variant without losing “checked” status.

Traits

• CheckPredicates
  Provides predicate verification functionality for the transaction.
• EstimatePredicates
  Provides predicate estimation functionality for the transaction.
• IntoChecked
  Performs checks for a transaction
• ParallelExecutor
  Executes CPU-heavy tasks in parallel.