Symbol: public_key_verify_signature