Module bytecode_verifier::script_signature

This module implements a checker for verifying that a script (or script function when serving as the entry point for script execution) has a valid signature, which entails

• All signer arguments are occur before non-signer arguments
• All types non-signer arguments have a type that is valid for constants
• Has an empty return type

Functions

• verify_module_script_function
  This function checks the extra requirements on the signature of the script visible function when it serves as an entry point for script execution
• verify_script
  This function checks the extra requirements on the signature of the main function of a script.