Symbol: ecdsa_check