Searched refs:coefficient_compressed (Results 1 – 1 of 1) sorted by relevance
7945 coefficient_compressed = in libcrux_ml_kem_serialize_compress_then_serialize_message_ea() local7948 libcrux_ml_kem_vector_portable_serialize_1_b8(coefficient_compressed, in libcrux_ml_kem_serialize_compress_then_serialize_message_ea()9342 coefficient_compressed = in libcrux_ml_kem_serialize_deserialize_then_decompress_message_ea() local9348 libcrux_ml_kem_vector_portable_decompress_1_b8(coefficient_compressed); in libcrux_ml_kem_serialize_deserialize_then_decompress_message_ea()