Searched refs:coefficient_compressed (Results 1 – 1 of 1) sorted by relevance
23412 coefficient_compressed = libcrux_ml_kem_vector_portable_compress_1_b8(coefficient); in libcrux_ml_kem_serialize_compress_then_serialize_message_ea() local23414 bytes = libcrux_ml_kem_vector_portable_serialize_1_b8(coefficient_compressed); in libcrux_ml_kem_serialize_compress_then_serialize_message_ea()24847 coefficient_compressed = in libcrux_ml_kem_serialize_deserialize_then_decompress_message_ea() local24856 uu____0 = libcrux_ml_kem_vector_portable_decompress_1_b8(coefficient_compressed); in libcrux_ml_kem_serialize_deserialize_then_decompress_message_ea()