Searched refs:uu____2 (Results 1 – 1 of 1) sorted by relevance
1304 Eurydice_slice_uint8_t_x2 uu____2 = Eurydice_slice_split_at( in libcrux_ml_kem_types_unpack_private_key_b4() local1307 Eurydice_slice ind_cpa_public_key_hash = uu____2.fst; in libcrux_ml_kem_types_unpack_private_key_b4()1308 Eurydice_slice implicit_rejection_value = uu____2.snd; in libcrux_ml_kem_types_unpack_private_key_b4()1951 uint64_t uu____2 = libcrux_sha3_simd_portable_rotate_left1_and_xor_d2( in libcrux_sha3_generic_keccak_theta_80_04() local1959 ret[2U] = uu____2; in libcrux_sha3_generic_keccak_theta_80_04()2870 libcrux_sha3_generic_keccak_KeccakState_17 *uu____2 = self; in libcrux_sha3_generic_keccak_rho_80_04() local2872 uu____2, (size_t)3U, (size_t)0U, in libcrux_sha3_generic_keccak_rho_80_04()9604 libcrux_ml_kem_polynomial_PolynomialRingElement_1d *uu____2 = r_as_ntt; in libcrux_ml_kem_ind_cpa_encrypt_unpacked_2a() local9608 uu____1, uu____2, uu____3, uu____4, in libcrux_ml_kem_ind_cpa_encrypt_unpacked_2a()9720 Eurydice_slice uu____2 = Eurydice_array_to_subslice_from( in libcrux_ml_kem_ind_cca_decapsulate_62() local[all …]