Symbol: ecdsa_verify_message_final