Symbol: ECDSA_verify