Symbol: ecdsa_verify