Expand description
The module contains functions to check predicates defined in the inputs of a transaction.
Functionsยง
- Initialize the VM with the provided transaction and check all predicates defined in the inputs.
- Initialize the VM with the provided transaction and check all predicates defined in the inputs in parallel.
- 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.
- 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.