Eurydice_arr_7c
Eurydice_arr_7c state0;
Eurydice_arr_7c state1;
Eurydice_arr_7c state2;
Eurydice_arr_7c state3;
Eurydice_arr_7c state0;
Eurydice_arr_7c state1;
Eurydice_arr_7c state2;
Eurydice_arr_7c state3;
Eurydice_arr_7c state0 = libcrux_sha3_portable_incremental_shake128_init();
Eurydice_arr_7c state1 = libcrux_sha3_portable_incremental_shake128_init();
Eurydice_arr_7c state2 = libcrux_sha3_portable_incremental_shake128_init();
Eurydice_arr_7c state3 = libcrux_sha3_portable_incremental_shake128_init();
static KRML_MUSTINLINE Eurydice_arr_7c
Eurydice_arr_7c state = libcrux_sha3_portable_incremental_shake256_init();
Eurydice_arr_7c state0 = libcrux_sha3_portable_incremental_shake256_init();
Eurydice_arr_7c state1 = libcrux_sha3_portable_incremental_shake256_init();
Eurydice_arr_7c state2 = libcrux_sha3_portable_incremental_shake256_init();
Eurydice_arr_7c state3 = libcrux_sha3_portable_incremental_shake256_init();
libcrux_ml_dsa_hash_functions_portable_squeeze_first_block_shake256(Eurydice_arr_7c *state)
libcrux_ml_dsa_hash_functions_portable_squeeze_next_block_shake256(Eurydice_arr_7c *state)
static KRML_MUSTINLINE Eurydice_arr_7c
libcrux_ml_dsa_hash_functions_portable_squeeze_first_block_61(Eurydice_arr_7c *self)
libcrux_ml_dsa_hash_functions_portable_squeeze_next_block_61(Eurydice_arr_7c *self)
Eurydice_arr_7c state = libcrux_ml_dsa_hash_functions_portable_init_absorb_final_61(seed);
Eurydice_arr_7c repeat_expression[3U];
memcpy(shake128_state.data, repeat_expression, (size_t)3U * sizeof (Eurydice_arr_7c));
typedef Eurydice_arr_7c libcrux_sha3_generic_keccak_KeccakState_f3;
Eurydice_arr_7c inner;
static KRML_MUSTINLINE Eurydice_arr_7c libcrux_sha3_generic_keccak_new_80_71(void)
Eurydice_arr_7c lit;
static KRML_MUSTINLINE Eurydice_arr_7c libcrux_sha3_portable_incremental_shake128_init(void)
*libcrux_sha3_traits_get_ij_71(const Eurydice_arr_7c *arr, size_t i, size_t j)
libcrux_sha3_traits_set_ij_71(Eurydice_arr_7c *arr, size_t i, size_t j, uint64_t value)
Eurydice_arr_7c *state,
Eurydice_arr_7c state_flat = { .data = { 0U } };
Eurydice_arr_7c *state,
Eurydice_arr_7c *self,
*libcrux_sha3_generic_keccak_index_c2_71(const Eurydice_arr_7c *self, size_t_x2 index)
libcrux_sha3_generic_keccak_theta_80_71(Eurydice_arr_7c *self)
libcrux_sha3_generic_keccak_set_80_71(Eurydice_arr_7c *self, size_t i, size_t j, uint64_t v)
libcrux_sha3_generic_keccak_rho_0_80_71(Eurydice_arr_7c *self, Eurydice_arr_84 t)
libcrux_sha3_generic_keccak_rho_1_80_71(Eurydice_arr_7c *self, Eurydice_arr_84 t)
libcrux_sha3_generic_keccak_rho_2_80_71(Eurydice_arr_7c *self, Eurydice_arr_84 t)
libcrux_sha3_generic_keccak_rho_3_80_71(Eurydice_arr_7c *self, Eurydice_arr_84 t)
libcrux_sha3_generic_keccak_rho_4_80_71(Eurydice_arr_7c *self, Eurydice_arr_84 t)
libcrux_sha3_generic_keccak_rho_80_71(Eurydice_arr_7c *self, Eurydice_arr_84 t)
libcrux_sha3_generic_keccak_pi_0_80_71(Eurydice_arr_7c *self, Eurydice_arr_7c old)
libcrux_sha3_generic_keccak_pi_1_80_71(Eurydice_arr_7c *self, Eurydice_arr_7c old)
libcrux_sha3_generic_keccak_pi_2_80_71(Eurydice_arr_7c *self, Eurydice_arr_7c old)
libcrux_sha3_generic_keccak_pi_3_80_71(Eurydice_arr_7c *self, Eurydice_arr_7c old)
libcrux_sha3_generic_keccak_pi_4_80_71(Eurydice_arr_7c *self, Eurydice_arr_7c old)
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_pi_80_71(Eurydice_arr_7c *self)
Eurydice_arr_7c old = self[0U];
static KRML_MUSTINLINE void libcrux_sha3_generic_keccak_chi_80_71(Eurydice_arr_7c *self)
Eurydice_arr_7c old = self[0U];
libcrux_sha3_generic_keccak_iota_80_71(Eurydice_arr_7c *self, size_t i)
libcrux_sha3_generic_keccak_keccakf1600_80_71(Eurydice_arr_7c *self)
Eurydice_arr_7c *self,
Eurydice_arr_7c *s,
static KRML_MUSTINLINE Eurydice_arr_7c libcrux_sha3_portable_incremental_shake256_init(void)
Eurydice_arr_7c *state,
Eurydice_arr_7c state_flat = { .data = { 0U } };
Eurydice_arr_7c *state,
Eurydice_arr_7c *self,
Eurydice_arr_7c *self,
Eurydice_arr_7c *s,
Eurydice_arr_7c *self,
Eurydice_arr_7c *self,
const Eurydice_arr_7c *s,
const Eurydice_arr_7c *self,
Eurydice_arr_7c s = libcrux_sha3_generic_keccak_new_80_71();
Eurydice_arr_7c *self,
Eurydice_arr_7c *self,
const Eurydice_arr_7c *s,
const Eurydice_arr_7c *self,
Eurydice_arr_7c s = libcrux_sha3_generic_keccak_new_80_71();
const Eurydice_arr_7c *self,
Eurydice_arr_7c *s,
Eurydice_arr_7c *self,
Eurydice_arr_7c *s,
Eurydice_arr_7c *self,
Eurydice_arr_7c *s,
Eurydice_arr_7c *self,
Eurydice_arr_7c *s,
Eurydice_arr_7c *state,
Eurydice_arr_7c state_flat = { .data = { 0U } };
Eurydice_arr_7c *self,
Eurydice_arr_7c *self,
Eurydice_arr_7c *state,
Eurydice_arr_7c *self,
Eurydice_arr_7c *self,
const Eurydice_arr_7c *s,
const Eurydice_arr_7c *self,
Eurydice_arr_7c s = libcrux_sha3_generic_keccak_new_80_71();
Eurydice_arr_7c *state,
Eurydice_arr_7c *self,
Eurydice_arr_7c *self,
Eurydice_arr_7c s = libcrux_sha3_generic_keccak_new_80_71();
Eurydice_arr_7c *self,
Eurydice_arr_7c *s,
Eurydice_arr_7c *state,
Eurydice_arr_7c state_flat = { .data = { 0U } };
Eurydice_arr_7c *self,
Eurydice_arr_7c *self,
Eurydice_arr_7c *state,
Eurydice_arr_7c *self,
Eurydice_arr_7c *self,
const Eurydice_arr_7c *s,
const Eurydice_arr_7c *self,
Eurydice_arr_7c s = libcrux_sha3_generic_keccak_new_80_71();
Eurydice_arr_7c *state,
Eurydice_arr_7c state_flat = { .data = { 0U } };
Eurydice_arr_7c *self,
Eurydice_arr_7c *self,
Eurydice_arr_7c *state,
Eurydice_arr_7c *self,
Eurydice_arr_7c *self,
const Eurydice_arr_7c *s,
const Eurydice_arr_7c *self,
Eurydice_arr_7c s = libcrux_sha3_generic_keccak_new_80_71();
Eurydice_arr_7c inner;
static inline Eurydice_arr_7c libcrux_sha3_portable_clone_fe(const Eurydice_arr_7c *self)
typedef struct Eurydice_arr_1b0_s { Eurydice_arr_7c data[3U]; } Eurydice_arr_1b0;