Lines Matching refs:Eurydice_array_to_slice
106 #define Eurydice_array_to_slice(end, x, t) \ macro
636 return Eurydice_array_to_slice((size_t)1088U, self->value, uint8_t); in libcrux_ml_kem_types_as_ref_00_24()
2247 Eurydice_array_to_slice((size_t)200U, blocks[0U], uint8_t)}; in libcrux_sha3_portable_keccak_load_block_full_df()
2314 uu____0, Eurydice_array_to_slice((size_t)8U, ret, uint8_t), uint8_t); in libcrux_sha3_portable_keccak_store_block_58()
2327 Eurydice_array_to_slice((size_t)200U, out, uint8_t)}; in libcrux_sha3_portable_keccak_store_block_full_2d()
2605 Eurydice_array_to_slice((size_t)200U, blocks[0U], uint8_t)}; in libcrux_sha3_portable_keccak_load_block_full_df0()
2672 uu____0, Eurydice_array_to_slice((size_t)8U, ret, uint8_t), uint8_t); in libcrux_sha3_portable_keccak_store_block_580()
2685 Eurydice_array_to_slice((size_t)200U, out, uint8_t)}; in libcrux_sha3_portable_keccak_store_block_full_2d0()
3069 Eurydice_array_to_slice((size_t)200U, blocks[0U], uint8_t)}; in libcrux_sha3_portable_keccak_load_block_full_df1()
3146 uu____0, Eurydice_array_to_slice((size_t)8U, ret, uint8_t), uint8_t); in libcrux_sha3_portable_keccak_store_block_581()
3340 Eurydice_array_to_slice((size_t)200U, blocks[0U], uint8_t)}; in libcrux_sha3_portable_keccak_load_block_full_df2()
3407 uu____0, Eurydice_array_to_slice((size_t)8U, ret, uint8_t), uint8_t); in libcrux_sha3_portable_keccak_store_block_582()
3420 Eurydice_array_to_slice((size_t)200U, out, uint8_t)}; in libcrux_sha3_portable_keccak_store_block_full_2d1()
3699 Eurydice_array_to_slice((size_t)200U, blocks[0U], uint8_t)}; in libcrux_sha3_portable_keccak_load_block_full_df3()
3766 uu____0, Eurydice_array_to_slice((size_t)8U, ret, uint8_t), uint8_t); in libcrux_sha3_portable_keccak_store_block_583()
3779 Eurydice_array_to_slice((size_t)200U, out, uint8_t)}; in libcrux_sha3_portable_keccak_store_block_full_2d2()
4009 libcrux_sha3_sha224_ema(Eurydice_array_to_slice((size_t)28U, out, uint8_t), in libcrux_sha3_sha224()
4028 libcrux_sha3_sha256_ema(Eurydice_array_to_slice((size_t)32U, out, uint8_t), in libcrux_sha3_sha256()
4047 libcrux_sha3_sha384_ema(Eurydice_array_to_slice((size_t)48U, out, uint8_t), in libcrux_sha3_sha384()
4066 libcrux_sha3_sha512_ema(Eurydice_array_to_slice((size_t)64U, out, uint8_t), in libcrux_sha3_sha512()
4114 Eurydice_array_to_slice((size_t)200U, out, uint8_t)}; in libcrux_sha3_portable_keccak_store_block_full_2d3()
4607 Eurydice_array_to_slice((size_t)136U, self->buf[i0], uint8_t); in libcrux_sha3_generic_keccak_absorb_full_9d_f8()
5061 Eurydice_array_to_slice((size_t)168U, self->buf[i0], uint8_t); in libcrux_sha3_generic_keccak_absorb_full_9d_f80()
5471 uu____0, Eurydice_array_to_slice((size_t)8U, ret, uint8_t), uint8_t); in libcrux_sha3_portable_keccak_store_5a_1c()
5590 uu____0, Eurydice_array_to_slice((size_t)8U, ret, uint8_t), uint8_t); in libcrux_sha3_portable_keccak_store_5a_1c0()
5806 Eurydice_array_to_slice((size_t)64U, digest, uint8_t), input); in libcrux_ml_kem_hash_functions_portable_G()
5814 Eurydice_array_to_slice((size_t)32U, digest, uint8_t), input); in libcrux_ml_kem_hash_functions_portable_H()
8658 Eurydice_array_to_slice((size_t)1088U, ciphertext, uint8_t), in libcrux_ml_kem_ind_cpa_deserialize_then_decompress_u_f4()
8907 Eurydice_array_to_slice( in libcrux_ml_kem_polynomial_add_to_ring_element_89_84()
9200 uu____0, Eurydice_array_to_slice((size_t)2U, bytes, uint8_t), uint8_t); in libcrux_ml_kem_serialize_compress_then_serialize_message_aa()
9310 Eurydice_array_to_slice((size_t)32U, digest, uint8_t), input); in libcrux_ml_kem_hash_functions_portable_PRF_2b()
9465 Eurydice_array_to_slice((size_t)34U, input[i0], uint8_t)); in libcrux_ml_kem_hash_functions_portable_shake128_init_absorb_b7()
9512 Eurydice_array_to_slice((size_t)504U, out[i0], uint8_t)); in libcrux_ml_kem_hash_functions_portable_shake128_squeeze_three_blocks_ca()
9634 Eurydice_array_to_slice((size_t)168U, out[i0], uint8_t)); in libcrux_ml_kem_hash_functions_portable_shake128_squeeze_block_dd()
9868 Eurydice_array_to_slice( in libcrux_ml_kem_matrix_sample_matrix_A_38()
9925 Eurydice_array_to_slice((size_t)128U, out[i0], uint8_t), in libcrux_ml_kem_hash_functions_portable_PRFxN_c5()
9926 Eurydice_array_to_slice((size_t)33U, input[i0], uint8_t)); in libcrux_ml_kem_hash_functions_portable_PRFxN_c5()
10038 Eurydice_array_to_slice((size_t)256U, sampled_i16s, int16_t)); in libcrux_ml_kem_sampling_sample_from_binomial_distribution_2_85()
10083 Eurydice_array_to_slice((size_t)256U, sampled_i16s, int16_t)); in libcrux_ml_kem_sampling_sample_from_binomial_distribution_3_eb()
10182 Eurydice_array_to_slice((size_t)128U, prf_outputs[i0], uint8_t)); in libcrux_ml_kem_ind_cpa_sample_vector_cbd_then_ntt_fc()
10249 Eurydice_array_to_slice((size_t)128U, prf_outputs[i0], uint8_t)); in libcrux_ml_kem_ind_cpa_sample_ring_element_cbd_ac()
10274 Eurydice_array_to_slice((size_t)128U, digest, uint8_t), input); in libcrux_ml_kem_hash_functions_portable_PRF_2b0()
10352 Eurydice_array_to_slice( in libcrux_ml_kem_matrix_compute_vector_u_59()
10361 Eurydice_array_to_slice( in libcrux_ml_kem_matrix_compute_vector_u_59()
10542 uu____0, Eurydice_array_to_slice((size_t)20U, bytes, uint8_t), uint8_t); in libcrux_ml_kem_serialize_compress_then_serialize_10_fc()
10603 uu____0, Eurydice_array_to_slice((size_t)22U, bytes, uint8_t), uint8_t); in libcrux_ml_kem_serialize_compress_then_serialize_11_e1()
10640 Eurydice_array_to_slice( in libcrux_ml_kem_ind_cpa_compress_then_serialize_u_a7()
10654 uu____0, Eurydice_array_to_slice((size_t)320U, ret, uint8_t), uint8_t); in libcrux_ml_kem_ind_cpa_compress_then_serialize_u_a7()
10714 Eurydice_array_to_slice((size_t)8U, bytes, uint8_t), uint8_t); in libcrux_ml_kem_serialize_compress_then_serialize_4_9a()
10774 Eurydice_array_to_slice((size_t)10U, bytes, uint8_t), uint8_t); in libcrux_ml_kem_serialize_compress_then_serialize_5_1f()
10848 Eurydice_array_to_slice((size_t)33U, prf_input, uint8_t), prf_output); in libcrux_ml_kem_ind_cpa_encrypt_60()
10851 Eurydice_array_to_slice((size_t)128U, prf_output, uint8_t)); in libcrux_ml_kem_ind_cpa_encrypt_60()
10893 Eurydice_slice_copy(Eurydice_array_to_slice((size_t)32U, out, uint8_t), in libcrux_ml_kem_variant_kdf_d8_41()
10924 Eurydice_array_to_slice((size_t)2400U, private_key->value, uint8_t), in libcrux_ml_kem_ind_cca_decapsulate_70()
10942 Eurydice_array_to_slice((size_t)32U, decrypted, uint8_t), to_hash0); in libcrux_ml_kem_ind_cca_decapsulate_70()
10950 Eurydice_array_to_slice((size_t)64U, to_hash0, uint8_t), hashed); in libcrux_ml_kem_ind_cca_decapsulate_70()
10952 Eurydice_array_to_slice((size_t)64U, hashed, uint8_t), in libcrux_ml_kem_ind_cca_decapsulate_70()
10966 Eurydice_array_to_slice((size_t)1120U, to_hash, uint8_t), in libcrux_ml_kem_ind_cca_decapsulate_70()
10977 Eurydice_array_to_slice((size_t)32U, implicit_rejection_shared_secret0, in libcrux_ml_kem_ind_cca_decapsulate_70()
10985 Eurydice_array_to_slice((size_t)1088U, expected_ciphertext, uint8_t), in libcrux_ml_kem_ind_cca_decapsulate_70()
10986 Eurydice_array_to_slice((size_t)32U, shared_secret, uint8_t), in libcrux_ml_kem_ind_cca_decapsulate_70()
10987 Eurydice_array_to_slice((size_t)32U, implicit_rejection_shared_secret, in libcrux_ml_kem_ind_cca_decapsulate_70()
11050 Eurydice_slice_copy(Eurydice_array_to_slice((size_t)32U, out, uint8_t), in libcrux_ml_kem_variant_entropy_preprocess_d8_63()
11093 Eurydice_array_to_slice((size_t)32U, randomness, uint8_t), randomness0); in libcrux_ml_kem_ind_cca_encapsulate_cd()
11096 Eurydice_array_to_slice((size_t)32U, randomness0, uint8_t), to_hash); in libcrux_ml_kem_ind_cca_encapsulate_cd()
11102 Eurydice_array_to_slice((size_t)1184U, in libcrux_ml_kem_ind_cca_encapsulate_cd()
11107 uu____0, Eurydice_array_to_slice((size_t)32U, ret, uint8_t), uint8_t); in libcrux_ml_kem_ind_cca_encapsulate_cd()
11110 Eurydice_array_to_slice((size_t)64U, to_hash, uint8_t), hashed); in libcrux_ml_kem_ind_cca_encapsulate_cd()
11112 Eurydice_array_to_slice((size_t)64U, hashed, uint8_t), in libcrux_ml_kem_ind_cca_encapsulate_cd()
11117 Eurydice_slice uu____2 = Eurydice_array_to_slice( in libcrux_ml_kem_ind_cca_encapsulate_cd()
11212 Eurydice_array_to_slice((size_t)33U, seed, uint8_t), ret0); in libcrux_ml_kem_variant_cpa_keygen_seed_d8_0e()
11289 Eurydice_array_to_slice( in libcrux_ml_kem_matrix_compute_As_plus_e_60()
11298 Eurydice_array_to_slice( in libcrux_ml_kem_matrix_compute_As_plus_e_60()
11341 uu____0, Eurydice_array_to_slice((size_t)24U, bytes, uint8_t), uint8_t); in libcrux_ml_kem_serialize_serialize_uncompressed_ring_element_5b()
11362 Eurydice_array_to_slice( in libcrux_ml_kem_ind_cpa_serialize_secret_key_b5()
11376 uu____0, Eurydice_array_to_slice((size_t)384U, ret0, uint8_t), uint8_t); in libcrux_ml_kem_ind_cpa_serialize_secret_key_b5()
11401 uu____0, Eurydice_array_to_slice((size_t)1152U, ret0, uint8_t), uint8_t); in libcrux_ml_kem_ind_cpa_serialize_public_key_79()
11426 Eurydice_array_to_slice((size_t)64U, hashed, uint8_t), (size_t)32U, in libcrux_ml_kem_ind_cpa_generate_keypair_fc()
11466 t_as_ntt, Eurydice_array_to_slice((size_t)32U, seed_for_A, uint8_t), in libcrux_ml_kem_ind_cpa_generate_keypair_fc()
11525 uu____6, Eurydice_array_to_slice((size_t)32U, ret0, uint8_t), uint8_t); in libcrux_ml_kem_ind_cca_serialize_kem_secret_key_48()
11577 Eurydice_array_to_slice((size_t)1152U, ind_cpa_private_key, uint8_t), in libcrux_ml_kem_ind_cca_generate_keypair_8c()
11578 Eurydice_array_to_slice((size_t)1184U, public_key, uint8_t), in libcrux_ml_kem_ind_cca_generate_keypair_8c()
11651 Eurydice_array_to_slice((size_t)1088U, in libcrux_ml_kem_variant_kdf_33_f0()
11656 uu____0, Eurydice_array_to_slice((size_t)32U, ret0, uint8_t), uint8_t); in libcrux_ml_kem_variant_kdf_33_f0()
11659 Eurydice_array_to_slice((size_t)64U, kdf_input, uint8_t), ret1); in libcrux_ml_kem_variant_kdf_33_f0()
11689 Eurydice_array_to_slice((size_t)2400U, private_key->value, uint8_t), in libcrux_ml_kem_ind_cca_decapsulate_700()
11707 Eurydice_array_to_slice((size_t)32U, decrypted, uint8_t), to_hash0); in libcrux_ml_kem_ind_cca_decapsulate_700()
11715 Eurydice_array_to_slice((size_t)64U, to_hash0, uint8_t), hashed); in libcrux_ml_kem_ind_cca_decapsulate_700()
11717 Eurydice_array_to_slice((size_t)64U, hashed, uint8_t), in libcrux_ml_kem_ind_cca_decapsulate_700()
11731 Eurydice_array_to_slice((size_t)1120U, to_hash, uint8_t), in libcrux_ml_kem_ind_cca_decapsulate_700()
11742 Eurydice_array_to_slice((size_t)32U, implicit_rejection_shared_secret0, in libcrux_ml_kem_ind_cca_decapsulate_700()
11750 Eurydice_array_to_slice((size_t)1088U, expected_ciphertext, uint8_t), in libcrux_ml_kem_ind_cca_decapsulate_700()
11751 Eurydice_array_to_slice((size_t)32U, shared_secret, uint8_t), in libcrux_ml_kem_ind_cca_decapsulate_700()
11752 Eurydice_array_to_slice((size_t)32U, implicit_rejection_shared_secret, in libcrux_ml_kem_ind_cca_decapsulate_700()
11842 Eurydice_array_to_slice((size_t)32U, randomness, uint8_t), randomness0); in libcrux_ml_kem_ind_cca_encapsulate_cd0()
11845 Eurydice_array_to_slice((size_t)32U, randomness0, uint8_t), to_hash); in libcrux_ml_kem_ind_cca_encapsulate_cd0()
11851 Eurydice_array_to_slice((size_t)1184U, in libcrux_ml_kem_ind_cca_encapsulate_cd0()
11856 uu____0, Eurydice_array_to_slice((size_t)32U, ret, uint8_t), uint8_t); in libcrux_ml_kem_ind_cca_encapsulate_cd0()
11859 Eurydice_array_to_slice((size_t)64U, to_hash, uint8_t), hashed); in libcrux_ml_kem_ind_cca_encapsulate_cd0()
11861 Eurydice_array_to_slice((size_t)64U, hashed, uint8_t), in libcrux_ml_kem_ind_cca_encapsulate_cd0()
11866 Eurydice_slice uu____2 = Eurydice_array_to_slice( in libcrux_ml_kem_ind_cca_encapsulate_cd0()
11976 Eurydice_array_to_slice((size_t)64U, hashed, uint8_t), (size_t)32U, in libcrux_ml_kem_ind_cpa_generate_keypair_fc0()
12016 t_as_ntt, Eurydice_array_to_slice((size_t)32U, seed_for_A, uint8_t), in libcrux_ml_kem_ind_cpa_generate_keypair_fc0()
12075 Eurydice_array_to_slice((size_t)1152U, ind_cpa_private_key, uint8_t), in libcrux_ml_kem_ind_cca_generate_keypair_8c0()
12076 Eurydice_array_to_slice((size_t)1184U, public_key, uint8_t), in libcrux_ml_kem_ind_cca_generate_keypair_8c0()