Symbol: eddsa_verify_sig