crypto/openssh/libcrux_internal.h

10969

Eurydice_arr_a3 *re,

crypto/openssh/libcrux_internal.h

10990

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_30(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11000

libcrux_ml_dsa_simd_portable_ntt_ntt_at_layer_7(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11013

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_300(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11030

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_42(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11040

libcrux_ml_dsa_simd_portable_ntt_ntt_at_layer_6(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11054

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_301(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11071

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_82(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11088

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_420(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11105

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_fe(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11115

libcrux_ml_dsa_simd_portable_ntt_ntt_at_layer_5(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11131

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_302(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11148

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_43(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11165

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_820(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11182

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_ea(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11199

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_421(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11216

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_61(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11233

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_fe0(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11250

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_38(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11260

libcrux_ml_dsa_simd_portable_ntt_ntt_at_layer_4(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11280

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_303(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11297

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_25(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11314

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_430(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11331

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_f4(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11348

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_821(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11365

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_1d(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11382

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_ea0(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11399

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_d8(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11416

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_422(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11433

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_60(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11450

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_610(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11467

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_29(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11484

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_fe1(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11501

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_9d(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11518

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_380(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11535

libcrux_ml_dsa_simd_portable_ntt_outer_3_plus_5f(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11545

libcrux_ml_dsa_simd_portable_ntt_ntt_at_layer_3(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11603

Eurydice_arr_a3 *re,

crypto/openssh/libcrux_internal.h

11612

libcrux_ml_dsa_simd_portable_ntt_ntt_at_layer_2(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11663

Eurydice_arr_a3 *re,

crypto/openssh/libcrux_internal.h

11673

libcrux_ml_dsa_simd_portable_ntt_ntt_at_layer_1(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11726

Eurydice_arr_a3 *re,

crypto/openssh/libcrux_internal.h

11742

libcrux_ml_dsa_simd_portable_ntt_ntt_at_layer_0(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11938

static KRML_MUSTINLINE void libcrux_ml_dsa_simd_portable_ntt_ntt(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

11953

static inline void libcrux_ml_dsa_simd_portable_ntt_65(Eurydice_arr_a3 *simd_units)

crypto/openssh/libcrux_internal.h

12002

Eurydice_arr_a3 *re,

crypto/openssh/libcrux_internal.h

12018

libcrux_ml_dsa_simd_portable_invntt_invert_ntt_at_layer_0(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12241

Eurydice_arr_a3 *re,

crypto/openssh/libcrux_internal.h

12253

libcrux_ml_dsa_simd_portable_invntt_invert_ntt_at_layer_1(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12411

Eurydice_arr_a3 *re,

crypto/openssh/libcrux_internal.h

12420

libcrux_ml_dsa_simd_portable_invntt_invert_ntt_at_layer_2(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12464

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_30(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12487

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_25(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12510

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_43(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12533

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_f4(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12556

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_82(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12579

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_1d(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12602

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_ea(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12625

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_d8(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12648

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_42(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12671

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_60(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12694

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_61(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12717

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_29(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12740

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_fe(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12763

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_9d(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12786

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_38(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12809

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_5f(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12825

libcrux_ml_dsa_simd_portable_invntt_invert_ntt_at_layer_3(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12853

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_300(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12876

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_430(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12899

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_820(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12922

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_ea0(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12945

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_420(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12968

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_610(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

12991

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_fe0(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

13014

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_380(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

13030

libcrux_ml_dsa_simd_portable_invntt_invert_ntt_at_layer_4(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

13050

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_301(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

13073

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_821(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

13096

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_421(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

13119

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_fe1(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

13135

libcrux_ml_dsa_simd_portable_invntt_invert_ntt_at_layer_5(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

13151

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_302(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

13174

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_422(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

13190

libcrux_ml_dsa_simd_portable_invntt_invert_ntt_at_layer_6(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

13204

libcrux_ml_dsa_simd_portable_invntt_outer_3_plus_303(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

13220

libcrux_ml_dsa_simd_portable_invntt_invert_ntt_at_layer_7(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

13226

libcrux_ml_dsa_simd_portable_invntt_invert_ntt_montgomery(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

13247

libcrux_ml_dsa_simd_portable_invert_ntt_montgomery_65(Eurydice_arr_a3 *simd_units)

crypto/openssh/libcrux_internal.h

13725

typedef Eurydice_arr_a3 libcrux_ml_dsa_polynomial_PolynomialRingElement_e8;

crypto/openssh/libcrux_internal.h

13733

typedef struct Eurydice_arr_bb_s { Eurydice_arr_a3 data[7U]; } Eurydice_arr_bb;

crypto/openssh/libcrux_internal.h

13754

const Eurydice_arr_a3 *ptr;

crypto/openssh/libcrux_internal.h

13765

typedef struct Eurydice_arr_0f_s { Eurydice_arr_a3 data[56U]; } Eurydice_arr_0f;

crypto/openssh/libcrux_internal.h

13804

typedef struct Eurydice_arr_8f_s { Eurydice_arr_a3 data[8U]; } Eurydice_arr_8f;

crypto/openssh/libcrux_internal.h

13828

typedef struct Eurydice_arr_92_s { Eurydice_arr_a3 data[15U]; } Eurydice_arr_92;

crypto/openssh/libcrux_internal.h

13882

Eurydice_arr_a3 *ptr;

crypto/openssh/libcrux_internal.h

13951

typedef struct Eurydice_arr_5d_s { Eurydice_arr_a3 data[5U]; } Eurydice_arr_5d;

crypto/openssh/libcrux_internal.h

13971

typedef struct Eurydice_arr_5a_s { Eurydice_arr_a3 data[30U]; } Eurydice_arr_5a;

crypto/openssh/libcrux_internal.h

14010

typedef struct Eurydice_arr_dc1_s { Eurydice_arr_a3 data[6U]; } Eurydice_arr_dc1;

crypto/openssh/libcrux_internal.h

14063

typedef struct Eurydice_arr_47_s { Eurydice_arr_a3 data[11U]; } Eurydice_arr_47;

crypto/openssh/libcrux_internal.h

14161

static inline Eurydice_arr_a3 libcrux_ml_dsa_polynomial_zero_ff_37(void)

crypto/openssh/libcrux_internal.h

14163

Eurydice_arr_a3 lit;

crypto/openssh/libcrux_internal.h

14185

Eurydice_arr_a3 *result

crypto/openssh/libcrux_internal.h

14218

Eurydice_arr_a3 tmp = libcrux_ml_dsa_polynomial_zero_ff_37();

crypto/openssh/libcrux_internal.h

14237

libcrux_ml_dsa_ntt_ntt_multiply_montgomery_37(Eurydice_arr_a3 *lhs, const Eurydice_arr_a3 *rhs)

crypto/openssh/libcrux_internal.h

14256

libcrux_ml_dsa_polynomial_add_ff_37(Eurydice_arr_a3 *self, const Eurydice_arr_a3 *rhs)

crypto/openssh/libcrux_internal.h

14302

libcrux_ml_dsa_arithmetic_shift_left_then_reduce_68(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

14317

static KRML_MUSTINLINE void libcrux_ml_dsa_ntt_ntt_37(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

14332

libcrux_ml_dsa_polynomial_subtract_ff_37(Eurydice_arr_a3 *self, const Eurydice_arr_a3 *rhs)

crypto/openssh/libcrux_internal.h

14351

libcrux_ml_dsa_polynomial_barrett_reduce_ff_37(Eurydice_arr_a3 *self)

crypto/openssh/libcrux_internal.h

14366

static KRML_MUSTINLINE void libcrux_ml_dsa_ntt_invert_ntt_montgomery_37(Eurydice_arr_a3 *re)

crypto/openssh/libcrux_internal.h

14386

const Eurydice_arr_a3 *verifier_challenge_as_ntt,

crypto/openssh/libcrux_internal.h

14393

Eurydice_arr_a3 inner_result = libcrux_ml_dsa_polynomial_zero_ff_37();

crypto/openssh/libcrux_internal.h

14397

Eurydice_arr_a3 product = matrix.ptr[i1 * columns_in_a + j];

crypto/openssh/libcrux_internal.h

14433

Eurydice_arr_a3 *result

crypto/openssh/libcrux_internal.h

14578

Eurydice_arr_a3 *result

crypto/openssh/libcrux_internal.h

14645

typedef struct Eurydice_arr_9d_s { Eurydice_arr_a3 data[4U]; } Eurydice_arr_9d;

crypto/openssh/libcrux_internal.h

14679

const Eurydice_arr_a3 *re,

crypto/openssh/libcrux_internal.h

14772

libcrux_ml_dsa_polynomial_to_i32_array_ff_37(const Eurydice_arr_a3 *self)

crypto/openssh/libcrux_internal.h

14805

Eurydice_arr_a3 hint_simd = libcrux_ml_dsa_polynomial_zero_ff_37();

crypto/openssh/libcrux_internal.h

14844

const Eurydice_arr_a3 *self,

crypto/openssh/libcrux_internal.h

14954

const Eurydice_arr_a3 *ring_element

crypto/openssh/libcrux_internal.h

14973

const Eurydice_arr_a3 *re,

crypto/openssh/libcrux_internal.h

15010

const Eurydice_arr_a3 *ring_element = &vector.ptr[_cloop_j];

crypto/openssh/libcrux_internal.h

15058

typedef struct Eurydice_arr_2f_s { Eurydice_arr_a3 data[16U]; } Eurydice_arr_2f;

crypto/openssh/libcrux_internal.h

15099

Eurydice_arr_a3 product = mask.ptr[j];

crypto/openssh/libcrux_internal.h

15129

Eurydice_arr_a3 *result

crypto/openssh/libcrux_internal.h

15190

Eurydice_arr_a3 *result

crypto/openssh/libcrux_internal.h

15264

const Eurydice_arr_a3 *re,

crypto/openssh/libcrux_internal.h

15292

const Eurydice_arr_a3 *re,

crypto/openssh/libcrux_internal.h

15321

const Eurydice_arr_a3 *re,

crypto/openssh/libcrux_internal.h

15366

const Eurydice_arr_a3 *ring_element = &t1.ptr[i0];

crypto/openssh/libcrux_internal.h

16952

const Eurydice_arr_a3 *ring_element = &t0.ptr[_cloop_j];

crypto/openssh/libcrux_internal.h

17013

Eurydice_arr_a3 repeat_expression0[8U];

crypto/openssh/libcrux_internal.h

17018

memcpy(s1_s2.data, repeat_expression0, (size_t)8U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

17023

Eurydice_arr_a3 repeat_expression1[4U];

crypto/openssh/libcrux_internal.h

17028

memcpy(t0.data, repeat_expression1, (size_t)4U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

17030

Eurydice_arr_a3 repeat_expression2[16U];

crypto/openssh/libcrux_internal.h

17035

memcpy(a_as_ntt.data, repeat_expression2, (size_t)16U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

17040

Eurydice_arr_a3 repeat_expression3[4U];

crypto/openssh/libcrux_internal.h

17045

memcpy(s1_ntt.data, repeat_expression3, (size_t)4U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

17054

Eurydice_arr_a3);

crypto/openssh/libcrux_internal.h

17067

Eurydice_arr_a3 repeat_expression[4U];

crypto/openssh/libcrux_internal.h

17072

memcpy(t1.data, repeat_expression, (size_t)4U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

17312

Eurydice_arr_a3 *result,

crypto/openssh/libcrux_internal.h

17464

Eurydice_arr_a3 *re

crypto/openssh/libcrux_internal.h

17567

Eurydice_arr_a3 repeat_expression0[4U];

crypto/openssh/libcrux_internal.h

17572

memcpy(s1_as_ntt.data, repeat_expression0, (size_t)4U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

17574

Eurydice_arr_a3 repeat_expression1[4U];

crypto/openssh/libcrux_internal.h

17579

memcpy(s2_as_ntt.data, repeat_expression1, (size_t)4U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

17581

Eurydice_arr_a3 repeat_expression2[4U];

crypto/openssh/libcrux_internal.h

17586

memcpy(t0_as_ntt.data, repeat_expression2, (size_t)4U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

17598

Eurydice_arr_a3 repeat_expression3[16U];

crypto/openssh/libcrux_internal.h

17603

memcpy(matrix.data, repeat_expression3, (size_t)16U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

17631

Eurydice_arr_a3 repeat_expression4[4U];

crypto/openssh/libcrux_internal.h

17636

memcpy(mask.data, repeat_expression4, (size_t)4U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

17638

Eurydice_arr_a3 repeat_expression5[4U];

crypto/openssh/libcrux_internal.h

17643

memcpy(w0.data, repeat_expression5, (size_t)4U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

17645

Eurydice_arr_a3 repeat_expression6[4U];

crypto/openssh/libcrux_internal.h

17650

memcpy(commitment.data, repeat_expression6, (size_t)4U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

17657

Eurydice_arr_a3 repeat_expression[4U];

crypto/openssh/libcrux_internal.h

17662

memcpy(a_x_mask.data, repeat_expression, (size_t)4U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

17667

Eurydice_arr_a3,

crypto/openssh/libcrux_internal.h

17697

Eurydice_arr_a3 verifier_challenge = libcrux_ml_dsa_polynomial_zero_ff_37();

crypto/openssh/libcrux_internal.h

17706

Eurydice_arr_a3,

crypto/openssh/libcrux_internal.h

17712

Eurydice_arr_a3,

crypto/openssh/libcrux_internal.h

17741

Eurydice_arr_a3,

crypto/openssh/libcrux_internal.h

18152

Eurydice_arr_a3 repeat_expression0[4U];

crypto/openssh/libcrux_internal.h

18157

memcpy(t1.data, repeat_expression0, (size_t)4U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

18164

Eurydice_arr_a3 repeat_expression1[4U];

crypto/openssh/libcrux_internal.h

18171

(size_t)4U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

18209

Eurydice_arr_a3 repeat_expression[16U];

crypto/openssh/libcrux_internal.h

18214

memcpy(matrix.data, repeat_expression, (size_t)16U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

18226

Eurydice_arr_a3 verifier_challenge = libcrux_ml_dsa_polynomial_zero_ff_37();

crypto/openssh/libcrux_internal.h

18470

Eurydice_arr_a3 repeat_expression0[11U];

crypto/openssh/libcrux_internal.h

18475

memcpy(s1_s2.data, repeat_expression0, (size_t)11U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

18480

Eurydice_arr_a3 repeat_expression1[6U];

crypto/openssh/libcrux_internal.h

18485

memcpy(t0.data, repeat_expression1, (size_t)6U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

18487

Eurydice_arr_a3 repeat_expression2[30U];

crypto/openssh/libcrux_internal.h

18492

memcpy(a_as_ntt.data, repeat_expression2, (size_t)30U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

18497

Eurydice_arr_a3 repeat_expression3[5U];

crypto/openssh/libcrux_internal.h

18502

memcpy(s1_ntt.data, repeat_expression3, (size_t)5U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

18511

Eurydice_arr_a3);

crypto/openssh/libcrux_internal.h

18524

Eurydice_arr_a3 repeat_expression[6U];

crypto/openssh/libcrux_internal.h

18529

memcpy(t1.data, repeat_expression, (size_t)6U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

18623

Eurydice_arr_a3 repeat_expression0[5U];

crypto/openssh/libcrux_internal.h

18628

memcpy(s1_as_ntt.data, repeat_expression0, (size_t)5U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

18630

Eurydice_arr_a3 repeat_expression1[6U];

crypto/openssh/libcrux_internal.h

18635

memcpy(s2_as_ntt.data, repeat_expression1, (size_t)6U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

18637

Eurydice_arr_a3 repeat_expression2[6U];

crypto/openssh/libcrux_internal.h

18642

memcpy(t0_as_ntt.data, repeat_expression2, (size_t)6U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

18654

Eurydice_arr_a3 repeat_expression3[30U];

crypto/openssh/libcrux_internal.h

18659

memcpy(matrix.data, repeat_expression3, (size_t)30U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

18687

Eurydice_arr_a3 repeat_expression4[5U];

crypto/openssh/libcrux_internal.h

18692

memcpy(mask.data, repeat_expression4, (size_t)5U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

18694

Eurydice_arr_a3 repeat_expression5[6U];

crypto/openssh/libcrux_internal.h

18699

memcpy(w0.data, repeat_expression5, (size_t)6U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

18701

Eurydice_arr_a3 repeat_expression6[6U];

crypto/openssh/libcrux_internal.h

18706

memcpy(commitment.data, repeat_expression6, (size_t)6U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

18713

Eurydice_arr_a3 repeat_expression[6U];

crypto/openssh/libcrux_internal.h

18718

memcpy(a_x_mask.data, repeat_expression, (size_t)6U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

18723

Eurydice_arr_a3,

crypto/openssh/libcrux_internal.h

18753

Eurydice_arr_a3 verifier_challenge = libcrux_ml_dsa_polynomial_zero_ff_37();

crypto/openssh/libcrux_internal.h

18762

Eurydice_arr_a3,

crypto/openssh/libcrux_internal.h

18768

Eurydice_arr_a3,

crypto/openssh/libcrux_internal.h

18797

Eurydice_arr_a3,

crypto/openssh/libcrux_internal.h

19188

Eurydice_arr_a3 repeat_expression0[6U];

crypto/openssh/libcrux_internal.h

19193

memcpy(t1.data, repeat_expression0, (size_t)6U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

19200

Eurydice_arr_a3 repeat_expression1[5U];

crypto/openssh/libcrux_internal.h

19207

(size_t)5U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

19250

Eurydice_arr_a3 repeat_expression[30U];

crypto/openssh/libcrux_internal.h

19255

memcpy(matrix.data, repeat_expression, (size_t)30U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

19267

Eurydice_arr_a3 verifier_challenge = libcrux_ml_dsa_polynomial_zero_ff_37();

crypto/openssh/libcrux_internal.h

19511

Eurydice_arr_a3 repeat_expression0[15U];

crypto/openssh/libcrux_internal.h

19516

memcpy(s1_s2.data, repeat_expression0, (size_t)15U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

19521

Eurydice_arr_a3 repeat_expression1[8U];

crypto/openssh/libcrux_internal.h

19526

memcpy(t0.data, repeat_expression1, (size_t)8U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

19528

Eurydice_arr_a3 repeat_expression2[56U];

crypto/openssh/libcrux_internal.h

19533

memcpy(a_as_ntt.data, repeat_expression2, (size_t)56U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

19538

Eurydice_arr_a3 repeat_expression3[7U];

crypto/openssh/libcrux_internal.h

19543

memcpy(s1_ntt.data, repeat_expression3, (size_t)7U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

19552

Eurydice_arr_a3);

crypto/openssh/libcrux_internal.h

19565

Eurydice_arr_a3 repeat_expression[8U];

crypto/openssh/libcrux_internal.h

19570

memcpy(t1.data, repeat_expression, (size_t)8U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

19664

Eurydice_arr_a3 repeat_expression0[7U];

crypto/openssh/libcrux_internal.h

19669

memcpy(s1_as_ntt.data, repeat_expression0, (size_t)7U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

19671

Eurydice_arr_a3 repeat_expression1[8U];

crypto/openssh/libcrux_internal.h

19676

memcpy(s2_as_ntt.data, repeat_expression1, (size_t)8U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

19678

Eurydice_arr_a3 repeat_expression2[8U];

crypto/openssh/libcrux_internal.h

19683

memcpy(t0_as_ntt.data, repeat_expression2, (size_t)8U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

19695

Eurydice_arr_a3 repeat_expression3[56U];

crypto/openssh/libcrux_internal.h

19700

memcpy(matrix.data, repeat_expression3, (size_t)56U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

19728

Eurydice_arr_a3 repeat_expression4[7U];

crypto/openssh/libcrux_internal.h

19733

memcpy(mask.data, repeat_expression4, (size_t)7U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

19735

Eurydice_arr_a3 repeat_expression5[8U];

crypto/openssh/libcrux_internal.h

19740

memcpy(w0.data, repeat_expression5, (size_t)8U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

19742

Eurydice_arr_a3 repeat_expression6[8U];

crypto/openssh/libcrux_internal.h

19747

memcpy(commitment.data, repeat_expression6, (size_t)8U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

19754

Eurydice_arr_a3 repeat_expression[8U];

crypto/openssh/libcrux_internal.h

19759

memcpy(a_x_mask.data, repeat_expression, (size_t)8U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

19764

Eurydice_arr_a3,

crypto/openssh/libcrux_internal.h

19794

Eurydice_arr_a3 verifier_challenge = libcrux_ml_dsa_polynomial_zero_ff_37();

crypto/openssh/libcrux_internal.h

19803

Eurydice_arr_a3,

crypto/openssh/libcrux_internal.h

19809

Eurydice_arr_a3,

crypto/openssh/libcrux_internal.h

19838

Eurydice_arr_a3,

crypto/openssh/libcrux_internal.h

20229

Eurydice_arr_a3 repeat_expression0[8U];

crypto/openssh/libcrux_internal.h

20234

memcpy(t1.data, repeat_expression0, (size_t)8U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

20241

Eurydice_arr_a3 repeat_expression1[7U];

crypto/openssh/libcrux_internal.h

20248

(size_t)7U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

20291

Eurydice_arr_a3 repeat_expression[56U];

crypto/openssh/libcrux_internal.h

20296

memcpy(matrix.data, repeat_expression, (size_t)56U * sizeof (Eurydice_arr_a3));

crypto/openssh/libcrux_internal.h

20308

Eurydice_arr_a3 verifier_challenge = libcrux_ml_dsa_polynomial_zero_ff_37();