Eurydice_array_to_slice
Eurydice_array_to_slice(
Eurydice_array_to_slice(
Eurydice_array_to_slice((size_t)64U, hashed, uint8_t), (size_t)32U,
Eurydice_array_to_slice((size_t)24U, bytes, uint8_t), uint8_t);
Eurydice_array_to_slice(
uu____0, Eurydice_array_to_slice((size_t)384U, ret, uint8_t), uint8_t);
Eurydice_array_to_slice((size_t)32U, public_key->seed_for_A, uint8_t),
Eurydice_array_to_slice((size_t)1152U, secret_key_serialized, uint8_t));
uu____6, Eurydice_array_to_slice((size_t)32U, ret, uint8_t), uint8_t);
Eurydice_array_to_slice((size_t)1152U, ind_cpa_private_key, uint8_t),
Eurydice_array_to_slice((size_t)1184U, public_key, uint8_t),
Eurydice_array_to_slice((size_t)32U, decrypted, uint8_t), to_hash0);
Eurydice_array_to_slice((size_t)32U, key_pair->public_key.public_key_hash,
Eurydice_array_to_slice((size_t)64U, to_hash0, uint8_t), hashed);
Eurydice_array_to_slice((size_t)64U, hashed, uint8_t),
Eurydice_array_to_slice(
Eurydice_array_to_slice((size_t)1120U, to_hash, uint8_t),
Eurydice_array_to_slice((size_t)1088U, expected_ciphertext, uint8_t));
Eurydice_array_to_slice((size_t)32U, implicit_rejection_shared_secret,
Eurydice_array_to_slice((size_t)64U, to_hash, uint8_t), ret0);
Eurydice_array_to_slice((size_t)32U, randomness, uint8_t),
Eurydice_array_to_slice((size_t)32U, public_key->public_key_hash,
Eurydice_array_to_slice((size_t)64U, hashed, uint8_t),
Eurydice_array_to_slice((size_t)32U, shared_secret_array, uint8_t),
Eurydice_array_to_slice(
Eurydice_array_to_slice((size_t)1184U, pk_serialized, uint8_t), uu____2);
Eurydice_array_to_slice((size_t)2400U, private_key->value, uint8_t));
Eurydice_array_to_slice((size_t)32U, key_pair->public_key.public_key_hash,
Eurydice_array_to_slice(
Eurydice_array_to_slice(
Eurydice_array_to_slice((size_t)1152U, ind_cpa_private_key, uint8_t),
Eurydice_array_to_slice((size_t)1184U, ind_cpa_public_key, uint8_t),
Eurydice_array_to_slice(
Eurydice_array_to_slice((size_t)32U, self->ind_cpa_public_key.seed_for_A,
Eurydice_array_to_slice((size_t)32U, self->ind_cpa_public_key.seed_for_A,
Eurydice_array_to_slice((size_t)1184U,
return Eurydice_array_to_slice((size_t)1088U, self->value, uint8_t);
state, Eurydice_array_to_slice((size_t)72U, buffer, uint8_t), (size_t)0U);
uu____0, Eurydice_array_to_slice((size_t)8U, ret, uint8_t), uint8_t);
state, Eurydice_array_to_slice((size_t)136U, buffer, uint8_t),
uu____0, Eurydice_array_to_slice((size_t)8U, ret, uint8_t), uint8_t);
state, Eurydice_array_to_slice((size_t)136U, buffer, uint8_t),
state, Eurydice_array_to_slice((size_t)168U, buffer, uint8_t),
uu____0, Eurydice_array_to_slice((size_t)8U, ret, uint8_t), uint8_t);
state, Eurydice_array_to_slice((size_t)144U, buffer, uint8_t),
uu____0, Eurydice_array_to_slice((size_t)8U, ret, uint8_t), uint8_t);
state, Eurydice_array_to_slice((size_t)104U, buffer, uint8_t),
uu____0, Eurydice_array_to_slice((size_t)8U, ret, uint8_t), uint8_t);
libcrux_sha3_sha224_ema(Eurydice_array_to_slice((size_t)28U, out, uint8_t),
libcrux_sha3_sha256_ema(Eurydice_array_to_slice((size_t)32U, out, uint8_t),
libcrux_sha3_sha384_ema(Eurydice_array_to_slice((size_t)48U, out, uint8_t),
libcrux_sha3_sha512_ema(Eurydice_array_to_slice((size_t)64U, out, uint8_t),
Eurydice_array_to_slice((size_t)136U, self->buf[i0], uint8_t);
Eurydice_array_to_slice((size_t)136U, self->buf[i0], uint8_t);
Eurydice_array_to_slice((size_t)168U, self->buf[i0], uint8_t);
Eurydice_array_to_slice((size_t)168U, self->buf[i0], uint8_t);
Eurydice_array_to_slice((size_t)64U, digest, uint8_t), input);
Eurydice_array_to_slice((size_t)32U, digest, uint8_t), input);
Eurydice_array_to_slice((size_t)1088U, ciphertext, uint8_t),
Eurydice_array_to_slice(
Eurydice_array_to_slice((size_t)2U, bytes, uint8_t), uint8_t);
Eurydice_array_to_slice((size_t)32U, digest, uint8_t), input);
Eurydice_array_to_slice((size_t)34U, input[i0], uint8_t));
Eurydice_array_to_slice((size_t)504U, out[i0], uint8_t));
Eurydice_array_to_slice((size_t)168U, out[i0], uint8_t));
Eurydice_array_to_slice(
Eurydice_array_to_slice((size_t)128U, out[i0], uint8_t),
Eurydice_array_to_slice((size_t)33U, input[i0], uint8_t));
Eurydice_array_to_slice((size_t)256U, sampled_i16s, int16_t));
Eurydice_array_to_slice((size_t)128U, prf_outputs[i0], uint8_t));
Eurydice_array_to_slice((size_t)128U, prf_outputs[i0], uint8_t));
Eurydice_array_to_slice((size_t)128U, digest, uint8_t), input);
Eurydice_array_to_slice(
Eurydice_array_to_slice(
Eurydice_array_to_slice((size_t)20U, bytes, uint8_t), uint8_t);
Eurydice_array_to_slice(
uu____0, Eurydice_array_to_slice((size_t)320U, ret, uint8_t), uint8_t);
Eurydice_array_to_slice((size_t)33U, prf_input, uint8_t), prf_output);
Eurydice_array_to_slice((size_t)128U, prf_output, uint8_t));
Eurydice_array_to_slice((size_t)8U, bytes, uint8_t), uint8_t);
Eurydice_slice_copy(Eurydice_array_to_slice((size_t)32U, out, uint8_t),
Eurydice_array_to_slice((size_t)2400U, private_key->value, uint8_t));
Eurydice_array_to_slice((size_t)32U, decrypted, uint8_t), to_hash0);
Eurydice_array_to_slice((size_t)64U, to_hash0, uint8_t), hashed);
Eurydice_array_to_slice((size_t)64U, hashed, uint8_t),
Eurydice_array_to_slice((size_t)1120U, to_hash, uint8_t),
Eurydice_array_to_slice((size_t)32U, implicit_rejection_shared_secret0,
Eurydice_array_to_slice((size_t)1088U, expected_ciphertext, uint8_t),
Eurydice_array_to_slice((size_t)32U, shared_secret, uint8_t),
Eurydice_array_to_slice((size_t)32U, implicit_rejection_shared_secret,
Eurydice_slice_copy(Eurydice_array_to_slice((size_t)32U, out, uint8_t),
Eurydice_array_to_slice((size_t)32U, randomness, uint8_t), randomness0);
Eurydice_array_to_slice((size_t)32U, randomness0, uint8_t), to_hash);
Eurydice_array_to_slice((size_t)1184U,
uu____0, Eurydice_array_to_slice((size_t)32U, ret0, uint8_t), uint8_t);
Eurydice_array_to_slice((size_t)64U, to_hash, uint8_t), hashed);
Eurydice_array_to_slice((size_t)64U, hashed, uint8_t),
Eurydice_array_to_slice((size_t)1184U,
Eurydice_array_to_slice((size_t)33U, seed, uint8_t), ret0);