Function verify_module

pub fn verify_module(
    module: &CompiledModule,
    fn_info_map: &FnInfoMap,
    verifier_config: &VerifierConfig,
) -> Result<(), ExecutionError>

Checks valid rules rules for entry points, both for module initialization and transactions

For module initialization

• The existence of the function is optional
• The function must have the name specified by INIT_FN_NAME
• The function must have Visibility::Private
• The function can have at most two parameters:
  • mandatory &mut TxContext or &TxContext (see is_tx_context) in the last position
  • optional one-time witness type (see one_time_witness verifier pass) passed by value in the first position

For transaction entry points

• The function must have is_entry true
• The function may have a &mut TxContext or &TxContext (see is_tx_context) parameter
  • The transaction context parameter must be the last parameter
• The function cannot have any return values