pub fn estimate_predicates<Tx>(
transaction: &mut Tx,
params: &CheckPredicateParams,
memory: impl Memory,
storage: &impl PredicateStorageRequirements,
) -> Result<PredicatesChecked, PredicateVerificationFailed>where
Tx: ExecutableTransaction,
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.
The storage provider is not used since contract opcodes are not allowed for predicates.