Searched refs:deserialized_pk (Results 1 – 1 of 1) sorted by relevance
8178 libcrux_ml_kem_polynomial_PolynomialRingElement_1d *deserialized_pk) { in libcrux_ml_kem_serialize_deserialize_ring_elements_reduced_1b() argument8192 deserialized_pk[i0] = uu____0; in libcrux_ml_kem_serialize_deserialize_ring_elements_reduced_1b()10661 libcrux_ml_kem_polynomial_PolynomialRingElement_1d deserialized_pk[3U]; in libcrux_ml_kem_serialize_deserialize_ring_elements_reduced_out_1b() local10665 deserialized_pk[i] = in libcrux_ml_kem_serialize_deserialize_ring_elements_reduced_out_1b()10670 public_key, deserialized_pk); in libcrux_ml_kem_serialize_deserialize_ring_elements_reduced_out_1b()10672 ret, deserialized_pk, in libcrux_ml_kem_serialize_deserialize_ring_elements_reduced_out_1b()10692 libcrux_ml_kem_polynomial_PolynomialRingElement_1d deserialized_pk[3U]; in libcrux_ml_kem_ind_cca_validate_public_key_89() local10698 deserialized_pk); in libcrux_ml_kem_ind_cca_validate_public_key_89()10699 libcrux_ml_kem_polynomial_PolynomialRingElement_1d *uu____0 = deserialized_pk; in libcrux_ml_kem_ind_cca_validate_public_key_89()