Module predicates

The module contains functions to check predicates defined in the inputs of a transaction.

Functions

check_predicates

Initialize the VM with the provided transaction and check all predicates defined in the inputs.

check_predicates_async

Initialize the VM with the provided transaction and check all predicates defined in the inputs in parallel.

estimate_predicates

Initialize the VM with the provided transaction, check all predicates defined in the inputs and set the predicate_gas_used to be the actual gas consumed during execution for each predicate.

estimate_predicates_async

Initialize the VM with the provided transaction, check all predicates defined in the inputs and set the predicate_gas_used to be the actual gas consumed during execution for each predicate in parallel.