Symbol: ec_key_ecdsa_verify