Home | History | Annotate | Download | only in dist

Lines Matching defs:shared_secret

9657     Eurydice_slice shared_secret, uint8_t *_, uint8_t ret[32U]) {
9660                       shared_secret, uint8_t);
9739   uint8_t shared_secret[32U];
9742       shared_secret);
9747       Eurydice_array_to_slice((size_t)32U, shared_secret, uint8_t),
9875   Eurydice_slice shared_secret = uu____1.fst;
9889   libcrux_ml_kem_variant_kdf_39_d6(shared_secret, ciphertext, ret);
10818   Eurydice_slice shared_secret = uu____1.fst;
10844       shared_secret,
10950   Eurydice_slice shared_secret = uu____0.fst;
10959       shared_secret, uint8_t);