Eurydice_arr_ec
Eurydice_arr_ec case_Ok;
static inline Eurydice_arr_ec core_result_unwrap_26_39(core_result_Result_07 self)
static KRML_NOINLINE Eurydice_arr_ec
Eurydice_arr_ec out = { .data = { 0U } };
static KRML_NOINLINE Eurydice_arr_ec
static KRML_NOINLINE Eurydice_arr_ec
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness,
Eurydice_arr_ec commitment_hash_candidate = { .data = { 0U } };
Eurydice_arr_ec commitment_hash = commitment_hash0.f0;
Eurydice_arr_ec commitment_hash1 = commitment_hash;
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness
Eurydice_arr_ec randomness
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness
Eurydice_arr_ec randomness
Eurydice_arr_ec deserialized_commitment_hash = { .data = { 0U } };
Eurydice_arr_ec recomputed_commitment_hash = { .data = { 0U } };
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness
Eurydice_arr_ec randomness
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness
Eurydice_arr_ec randomness
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness,
Eurydice_array_to_subslice_to_mut_21(Eurydice_arr_ec *a, size_t r)
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness
Eurydice_arr_ec randomness
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness
Eurydice_arr_ec randomness
libcrux_ml_dsa_ml_dsa_44_portable_generate_key_pair(Eurydice_arr_ec randomness)
Eurydice_arr_ec randomness
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness
Eurydice_arr_ec pre_hash_buffer = { .data = { 0U } };
Eurydice_arr_ec pre_hash_buffer = { .data = { 0U } };
libcrux_ml_dsa_ml_dsa_65_portable_generate_key_pair(Eurydice_arr_ec randomness)
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness
Eurydice_arr_ec pre_hash_buffer = { .data = { 0U } };
Eurydice_arr_ec pre_hash_buffer = { .data = { 0U } };
libcrux_ml_dsa_ml_dsa_87_portable_generate_key_pair(Eurydice_arr_ec randomness)
Eurydice_arr_ec randomness
Eurydice_arr_ec randomness,
Eurydice_arr_ec randomness
Eurydice_arr_ec pre_hash_buffer = { .data = { 0U } };
Eurydice_arr_ec pre_hash_buffer = { .data = { 0U } };
static inline Eurydice_arr_ec
Eurydice_arr_ec digest = { .data = { 0U } };
static KRML_MUSTINLINE Eurydice_arr_ec
Eurydice_arr_ec serialized = { .data = { 0U } };
static KRML_MUSTINLINE Eurydice_arr_ec
static KRML_MUSTINLINE Eurydice_arr_ec
static inline Eurydice_arr_ec
Eurydice_arr_ec digest = { .data = { 0U } };
static inline Eurydice_arr_ec
Eurydice_arr_ec seed_for_A;
Eurydice_arr_ec uu____1 = { .data = { 0U } };
const Eurydice_arr_ec *serialized
const Eurydice_arr_ec *message,
const Eurydice_arr_ec *message,
const Eurydice_arr_ec *message,
static KRML_MUSTINLINE Eurydice_arr_ec
Eurydice_arr_ec out = { .data = { 0U } };
static KRML_MUSTINLINE Eurydice_arr_ec
Eurydice_arr_ec decrypted = libcrux_ml_kem_ind_cpa_decrypt_01(ind_cpa_secret_key, ciphertext);
Eurydice_arr_ec
Eurydice_arr_ec
Eurydice_arr_ec
static inline Eurydice_arr_ec
static inline Eurydice_arr_ec
static KRML_MUSTINLINE Eurydice_arr_ec
Eurydice_arr_ec out = { .data = { 0U } };
static inline Eurydice_arr_ec
const Eurydice_arr_ec *randomness
Eurydice_arr_ec
Eurydice_arr_ec f0;
Eurydice_arr_ec
const Eurydice_arr_ec *randomness
Eurydice_arr_ec randomness
Eurydice_arr_ec arr;
Eurydice_arr_ec
Eurydice_arr_ec lvalue = libcrux_ml_kem_hash_functions_portable_H_4a_78(public_key);
Eurydice_arr_ec
Eurydice_arr_ec public_key_hash;
Eurydice_arr_ec implicit_rejection_value;
static KRML_MUSTINLINE Eurydice_arr_ec
Eurydice_arr_ec
Eurydice_arr_ec
static KRML_MUSTINLINE Eurydice_arr_ec
static inline Eurydice_arr_ec
const Eurydice_arr_ec *randomness
Eurydice_arr_ec shared_secret_array = { .data = { 0U } };
const Eurydice_arr_ec *randomness
Eurydice_arr_ec randomness
Eurydice_arr_ec
libcrux_secrets_mem_requests_ct_declassify_4b(const Eurydice_arr_ec *val)
Eurydice_arr_ec arr;
Eurydice_arr_ec
Eurydice_arr_ec
Eurydice_arr_ec);
Eurydice_arr_ec)
Eurydice_arr_ec
typedef Eurydice_arr_ec libcrux_mlkem768_enc_rnd;
typedef Eurydice_arr_ec libcrux_mlkem768_dec_result;
typedef Eurydice_arr_ec libcrux_mldsa44_keypair_rnd;
typedef Eurydice_arr_ec libcrux_mldsa44_sign_rnd;
typedef Eurydice_arr_ec libcrux_mldsa65_keypair_rnd;
typedef Eurydice_arr_ec libcrux_mldsa65_sign_rnd;
typedef Eurydice_arr_ec libcrux_mldsa87_keypair_rnd;
typedef Eurydice_arr_ec libcrux_mldsa87_sign_rnd;
Eurydice_array_to_slice_shared_01(const Eurydice_arr_ec *a)
libcrux_secrets_mem_requests_ct_classify_4b(const Eurydice_arr_ec *val)
Eurydice_array_to_subslice_shared_d4(const Eurydice_arr_ec *a, core_ops_range_Range_87 r)
Eurydice_array_to_subslice_mut_d46(Eurydice_arr_ec *a, core_ops_range_Range_87 r)
static inline Eurydice_mut_borrow_slice_u8 Eurydice_array_to_slice_mut_01(Eurydice_arr_ec *a)
static inline Eurydice_arr_ec libcrux_sha3_sha256(Eurydice_borrow_slice_u8 data)
Eurydice_arr_ec out = { .data = { 0U } };
static KRML_MUSTINLINE Eurydice_arr_ec
Eurydice_arr_ec out = { .data = { 0U } };
Eurydice_arr_ec snd;