Symbol: ECDH_helper