Symbol: decdsa_init_pub_key