Eurydice_arr_9e
typedef struct Eurydice_arr_bb0_s { Eurydice_arr_9e data[3U]; } Eurydice_arr_bb0;
static inline Eurydice_arr_9e libcrux_ml_kem_polynomial_ZERO_d6_ea(void)
Eurydice_arr_9e lit;
static inline Eurydice_arr_9e
static KRML_MUSTINLINE Eurydice_arr_9e
Eurydice_arr_9e re = libcrux_ml_kem_polynomial_ZERO_d6_ea();
Eurydice_arr_9e
static inline Eurydice_arr_9e
static KRML_MUSTINLINE Eurydice_arr_9e
Eurydice_arr_9e re = libcrux_ml_kem_polynomial_ZERO_d6_ea();
static KRML_MUSTINLINE Eurydice_arr_9e
Eurydice_arr_9e *re,
Eurydice_arr_9e *re,
Eurydice_arr_9e *re,
Eurydice_arr_9e *re,
libcrux_ml_kem_polynomial_poly_barrett_reduce_ea(Eurydice_arr_9e *myself)
libcrux_ml_kem_polynomial_poly_barrett_reduce_d6_ea(Eurydice_arr_9e *self)
static KRML_MUSTINLINE void libcrux_ml_kem_ntt_ntt_vector_u_f7(Eurydice_arr_9e *re)
static KRML_MUSTINLINE Eurydice_arr_9e
Eurydice_arr_9e re = libcrux_ml_kem_polynomial_ZERO_d6_ea();
static KRML_MUSTINLINE Eurydice_arr_9e
static inline Eurydice_arr_9e libcrux_ml_kem_polynomial_ZERO_ea(void)
Eurydice_arr_9e lit;
static KRML_MUSTINLINE Eurydice_arr_9e
const Eurydice_arr_9e *myself,
const Eurydice_arr_9e *rhs
Eurydice_arr_9e out = libcrux_ml_kem_polynomial_ZERO_ea();
static KRML_MUSTINLINE Eurydice_arr_9e
const Eurydice_arr_9e *self,
const Eurydice_arr_9e *rhs
Eurydice_arr_9e *myself,
const Eurydice_arr_9e *rhs
Eurydice_arr_9e *self,
const Eurydice_arr_9e *rhs
libcrux_ml_kem_invert_ntt_invert_ntt_at_layer_1_ea(size_t *zeta_i, Eurydice_arr_9e *re)
libcrux_ml_kem_invert_ntt_invert_ntt_at_layer_2_ea(size_t *zeta_i, Eurydice_arr_9e *re)
libcrux_ml_kem_invert_ntt_invert_ntt_at_layer_3_ea(size_t *zeta_i, Eurydice_arr_9e *re)
Eurydice_arr_9e *re,
libcrux_ml_kem_invert_ntt_invert_ntt_montgomery_68(Eurydice_arr_9e *re)
static KRML_MUSTINLINE Eurydice_arr_9e
libcrux_ml_kem_polynomial_subtract_reduce_ea(const Eurydice_arr_9e *myself, Eurydice_arr_9e b)
static KRML_MUSTINLINE Eurydice_arr_9e
libcrux_ml_kem_polynomial_subtract_reduce_d6_ea(const Eurydice_arr_9e *self, Eurydice_arr_9e b)
static KRML_MUSTINLINE Eurydice_arr_9e
const Eurydice_arr_9e *v,
Eurydice_arr_9e result = libcrux_ml_kem_polynomial_ZERO_d6_ea();
Eurydice_arr_9e
libcrux_ml_kem_serialize_compress_then_serialize_message_ea(Eurydice_arr_9e re)
Eurydice_arr_9e
Eurydice_arr_9e message = libcrux_ml_kem_matrix_compute_message_68(&v, secret_key, &u_as_ntt);
Eurydice_arr_9e repeat_expression0[3U];
memcpy(uu____0.data, repeat_expression0, (size_t)3U * sizeof (Eurydice_arr_9e));
Eurydice_arr_9e repeat_expression[3U];
memcpy(lit.data, repeat_expression, (size_t)3U * sizeof (Eurydice_arr_9e));
static KRML_MUSTINLINE Eurydice_arr_9e
Eurydice_arr_9e re = libcrux_ml_kem_polynomial_ZERO_d6_ea();
Eurydice_arr_9e
static KRML_MUSTINLINE Eurydice_arr_9e
Eurydice_arr_9e result = libcrux_ml_kem_polynomial_ZERO_ea();
static KRML_MUSTINLINE Eurydice_arr_9e
static inline Eurydice_arr_9e
Eurydice_arr_9e sample = sampled.data[j];
Eurydice_arr_9e snd;
static inline Eurydice_arr_9e
static KRML_MUSTINLINE Eurydice_arr_9e
static KRML_MUSTINLINE Eurydice_arr_9e
static KRML_MUSTINLINE void libcrux_ml_kem_ntt_ntt_at_layer_7_ea(Eurydice_arr_9e *re)
libcrux_ml_kem_ntt_ntt_binomially_sampled_ring_element_ea(Eurydice_arr_9e *re)
Eurydice_arr_9e
static inline Eurydice_arr_9e
Eurydice_arr_9e
static inline Eurydice_arr_9e
Eurydice_arr_9e *myself,
const Eurydice_arr_9e *error
Eurydice_arr_9e *self,
const Eurydice_arr_9e *error
const Eurydice_arr_9e *a_element = &row->data[j];
Eurydice_arr_9e
libcrux_ml_kem_serialize_compress_then_serialize_10_e1(const Eurydice_arr_9e *re)
libcrux_ml_kem_serialize_compress_then_serialize_ring_element_u_f7(const Eurydice_arr_9e *re)
Eurydice_arr_9e re = input.data[i0];
Eurydice_arr_9e
static KRML_MUSTINLINE Eurydice_arr_9e
Eurydice_arr_9e re = libcrux_ml_kem_polynomial_ZERO_d6_ea();
static KRML_MUSTINLINE Eurydice_arr_9e
const Eurydice_arr_9e *myself,
const Eurydice_arr_9e *message,
Eurydice_arr_9e result
static KRML_MUSTINLINE Eurydice_arr_9e
const Eurydice_arr_9e *self,
const Eurydice_arr_9e *message,
Eurydice_arr_9e result
static KRML_MUSTINLINE Eurydice_arr_9e
const Eurydice_arr_9e *error_2,
const Eurydice_arr_9e *message
Eurydice_arr_9e result = libcrux_ml_kem_polynomial_ZERO_d6_ea();
Eurydice_arr_9e
Eurydice_arr_9e re,
Eurydice_arr_9e re,
const Eurydice_arr_9e *error_2,
Eurydice_arr_9e
Eurydice_arr_9e
Eurydice_arr_9e error_2 = uu____0.snd;
Eurydice_arr_9e repeat_expression[3U];
memcpy(lit.data, repeat_expression, (size_t)3U * sizeof (Eurydice_arr_9e));
static inline Eurydice_arr_9e
Eurydice_arr_9e *myself,
const Eurydice_arr_9e *error
Eurydice_arr_9e *self,
const Eurydice_arr_9e *error
Eurydice_arr_9e uu____0 = libcrux_ml_kem_polynomial_ZERO_d6_ea();
const Eurydice_arr_9e *matrix_element = &row->data[j];
Eurydice_arr_9e
libcrux_ml_kem_serialize_serialize_uncompressed_ring_element_ea(const Eurydice_arr_9e *re)
Eurydice_arr_9e re = key->data[i0];
static inline Eurydice_arr_9e
static inline Eurydice_arr_9e
static inline Eurydice_arr_9e
libcrux_ml_kem_polynomial_clone_c1_ea(const Eurydice_arr_9e *self)
Eurydice_arr_9e);
Eurydice_arr_9e uu____0 = libcrux_ml_kem_polynomial_clone_c1_ea(&ind_cpa_a.data[j].data[i1]);
Eurydice_arr_9e,