pub async fn estimate_predicates_async<Tx, E>(
transaction: &mut Tx,
params: &CheckPredicateParams,
pool: &impl VmMemoryPool,
storage: &impl PredicateStorageProvider,
) -> Result<PredicatesChecked, PredicateVerificationFailed>
Expand description
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.
The storage provider is not used since contract opcodes are not allowed for predicates.