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.