Eurydice_arr_c7
Eurydice_array_to_subslice_from_shared_5f1(const Eurydice_arr_c7 *a, size_t r)
Eurydice_array_to_subslice_shared_d47(const Eurydice_arr_c7 *a, core_ops_range_Range_87 r)
Eurydice_array_to_subslice_from_mut_5f1(Eurydice_arr_c7 *a, size_t r)
Eurydice_array_to_subslice_mut_d410(Eurydice_arr_c7 *a, core_ops_range_Range_87 r)
Eurydice_arr_c7 *out
Eurydice_arr_c7 *out
Eurydice_arr_c7 verification_key_hash = { .data = { 0U } };
Eurydice_arr_c7 *message_representative
const Eurydice_arr_c7 *seed,
Eurydice_arr_c7 message_representative = { .data = { 0U } };
Eurydice_arr_c7 mask_seed = { .data = { 0U } };
Eurydice_arr_c7 verification_key_hash = { .data = { 0U } };
Eurydice_arr_c7 message_representative = { .data = { 0U } };
Eurydice_arr_c7 message_representative = { .data = { 0U } };
Eurydice_arr_c7 mask_seed = { .data = { 0U } };
Eurydice_arr_c7 verification_key_hash = { .data = { 0U } };
Eurydice_arr_c7 message_representative = { .data = { 0U } };
Eurydice_arr_c7 message_representative = { .data = { 0U } };
Eurydice_arr_c7 mask_seed = { .data = { 0U } };
Eurydice_arr_c7 commitment_hash_candidate = { .data = { 0U } };
Eurydice_arr_c7 commitment_hash = commitment_hash0.f0;
Eurydice_arr_c7 commitment_hash1 = commitment_hash;
Eurydice_arr_c7 deserialized_commitment_hash = { .data = { 0U } };
Eurydice_arr_c7 verification_key_hash = { .data = { 0U } };
Eurydice_arr_c7 message_representative = { .data = { 0U } };
Eurydice_arr_c7 recomputed_commitment_hash = { .data = { 0U } };
Eurydice_arr_c7 f0;
static inline Eurydice_arr_c7
Eurydice_arr_c7 digest = { .data = { 0U } };
libcrux_secrets_mem_requests_ct_declassify_56(const Eurydice_arr_c7 *val)
static inline Eurydice_arr_c7
Eurydice_arr_c7
Eurydice_arr_c7
Eurydice_arr_c7
Eurydice_arr_c7
static KRML_MUSTINLINE Eurydice_arr_c7
Eurydice_arr_c7 hashed = libcrux_ml_kem_variant_cpa_keygen_seed_39_13(key_generation_seed);
libcrux_ml_kem_ind_cca_generate_keypair_b8(const Eurydice_arr_c7 *randomness)
const Eurydice_arr_c7 *randomness
libcrux_ml_kem_mlkem768_portable_generate_key_pair(Eurydice_arr_c7 randomness)
Eurydice_arr_c7
Eurydice_arr_c7
static inline Eurydice_arr_c7
Eurydice_arr_c7 to_hash = libcrux_ml_kem_utils_into_padded_array_c9(randomness);
Eurydice_arr_c7
Eurydice_arr_c7 randomness,
Eurydice_arr_c7 randomness,
Eurydice_arr_c7 randomness,
libcrux_ml_kem_mlkem768_portable_unpacked_generate_key_pair(Eurydice_arr_c7 randomness)
typedef Eurydice_arr_c7 libcrux_mlkem768_keypair_rnd;
Eurydice_array_to_slice_shared_17(const Eurydice_arr_c7 *a)
static inline Eurydice_mut_borrow_slice_u8 Eurydice_array_to_slice_mut_17(Eurydice_arr_c7 *a)
static inline Eurydice_arr_c7 libcrux_sha3_sha512(Eurydice_borrow_slice_u8 data)
Eurydice_arr_c7 out = { .data = { 0U } };
static KRML_MUSTINLINE Eurydice_arr_c7
Eurydice_arr_c7 out = { .data = { 0U } };