x25519_public_from_private
x25519_public_from_private(out_public_value, out_private_key);
void x25519_public_from_private(uint8_t out_public_value[32],