Symbol: Eurydice_slice
crypto/openssh/libcrux_mlkem768_sha3.h
10003
Eurydice_slice randomness) {
crypto/openssh/libcrux_mlkem768_sha3.h
10008
Eurydice_slice byte_chunk = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
10049
Eurydice_slice randomness) {
crypto/openssh/libcrux_mlkem768_sha3.h
10054
Eurydice_slice byte_chunk = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
1007
Eurydice_slice a[1U], size_t start, size_t len, Eurydice_slice ret[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
10094
Eurydice_slice randomness) {
crypto/openssh/libcrux_mlkem768_sha3.h
1016
Eurydice_slice a[1U], size_t start, size_t len, Eurydice_slice ret[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
1018
Eurydice_slice copy_of_a[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
1019
memcpy(copy_of_a, a, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
1020
Eurydice_slice ret0[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
1022
memcpy(ret, ret0, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
1026
libcrux_sha3_portable_keccak_split_at_mut_1(Eurydice_slice out[1U],
crypto/openssh/libcrux_mlkem768_sha3.h
10271
Eurydice_slice input, uint8_t ret[128U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
10289
Eurydice_slice input, uint8_t ret[128U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
1030
Eurydice_slice out00 = uu____0.fst;
crypto/openssh/libcrux_mlkem768_sha3.h
1031
Eurydice_slice out01 = uu____0.snd;
crypto/openssh/libcrux_mlkem768_sha3.h
1043
libcrux_sha3_portable_keccak_split_at_mut_n_5a(Eurydice_slice a[1U],
crypto/openssh/libcrux_mlkem768_sha3.h
10539
Eurydice_slice uu____0 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
10600
Eurydice_slice uu____0 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
10637
Eurydice_slice out) {
crypto/openssh/libcrux_mlkem768_sha3.h
10647
Eurydice_slice uu____0 = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
10701
Eurydice_slice serialized) {
crypto/openssh/libcrux_mlkem768_sha3.h
10761
Eurydice_slice serialized) {
crypto/openssh/libcrux_mlkem768_sha3.h
10787
libcrux_ml_kem_polynomial_PolynomialRingElement_f0 re, Eurydice_slice out) {
crypto/openssh/libcrux_mlkem768_sha3.h
10809
static inline void libcrux_ml_kem_ind_cpa_encrypt_60(Eurydice_slice public_key,
crypto/openssh/libcrux_mlkem768_sha3.h
10811
Eurydice_slice randomness,
crypto/openssh/libcrux_mlkem768_sha3.h
10817
Eurydice_slice seed =
crypto/openssh/libcrux_mlkem768_sha3.h
10890
Eurydice_slice shared_secret, libcrux_ml_kem_mlkem768_MlKem768Ciphertext *_,
crypto/openssh/libcrux_mlkem768_sha3.h
10926
Eurydice_slice ind_cpa_secret_key = uu____0.fst;
crypto/openssh/libcrux_mlkem768_sha3.h
10927
Eurydice_slice secret_key0 = uu____0.snd;
crypto/openssh/libcrux_mlkem768_sha3.h
10930
Eurydice_slice ind_cpa_public_key = uu____1.fst;
crypto/openssh/libcrux_mlkem768_sha3.h
10931
Eurydice_slice secret_key = uu____1.snd;
crypto/openssh/libcrux_mlkem768_sha3.h
10935
Eurydice_slice ind_cpa_public_key_hash = uu____2.fst;
crypto/openssh/libcrux_mlkem768_sha3.h
10936
Eurydice_slice implicit_rejection_value = uu____2.snd;
crypto/openssh/libcrux_mlkem768_sha3.h
10955
Eurydice_slice shared_secret0 = uu____3.fst;
crypto/openssh/libcrux_mlkem768_sha3.h
10956
Eurydice_slice pseudorandomness = uu____3.snd;
crypto/openssh/libcrux_mlkem768_sha3.h
10959
Eurydice_slice uu____4 = Eurydice_array_to_subslice_from(
crypto/openssh/libcrux_mlkem768_sha3.h
10968
Eurydice_slice uu____5 = ind_cpa_public_key;
crypto/openssh/libcrux_mlkem768_sha3.h
11048
Eurydice_slice randomness, uint8_t ret[32U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
11065
Eurydice_slice input, uint8_t ret[32U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
1108
uint64_t (*s)[5U], Eurydice_slice blocks[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
11097
Eurydice_slice uu____0 = Eurydice_array_to_subslice_from(
crypto/openssh/libcrux_mlkem768_sha3.h
11115
Eurydice_slice shared_secret = uu____1.fst;
crypto/openssh/libcrux_mlkem768_sha3.h
11116
Eurydice_slice pseudorandomness = uu____1.snd;
crypto/openssh/libcrux_mlkem768_sha3.h
11117
Eurydice_slice uu____2 = Eurydice_array_to_slice(
crypto/openssh/libcrux_mlkem768_sha3.h
1117
Eurydice_slice, uint8_t[8U]);
crypto/openssh/libcrux_mlkem768_sha3.h
11201
Eurydice_slice key_generation_seed, uint8_t ret[64U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
11338
Eurydice_slice uu____0 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
1136
uint64_t (*a)[5U], Eurydice_slice b[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
11369
Eurydice_slice uu____0 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
1139
Eurydice_slice copy_of_b[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
11394
Eurydice_slice seed_for_a, uint8_t ret[1184U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
11396
Eurydice_slice uu____0 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
1140
memcpy(copy_of_b, b, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
11422
libcrux_ml_kem_ind_cpa_generate_keypair_fc(Eurydice_slice key_generation_seed) {
crypto/openssh/libcrux_mlkem768_sha3.h
11428
Eurydice_slice seed_for_A0 = uu____0.fst;
crypto/openssh/libcrux_mlkem768_sha3.h
11429
Eurydice_slice seed_for_secret_and_error = uu____0.snd;
crypto/openssh/libcrux_mlkem768_sha3.h
11462
Eurydice_slice_to_array2(&dst, seed_for_A0, Eurydice_slice, uint8_t[32U]);
crypto/openssh/libcrux_mlkem768_sha3.h
11498
Eurydice_slice private_key, Eurydice_slice public_key,
crypto/openssh/libcrux_mlkem768_sha3.h
11499
Eurydice_slice implicit_rejection_value, uint8_t ret[2400U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
11520
Eurydice_slice uu____6 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
11562
Eurydice_slice ind_cpa_keypair_randomness = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
11565
Eurydice_slice implicit_rejection_value = Eurydice_array_to_subslice_from(
crypto/openssh/libcrux_mlkem768_sha3.h
11642
Eurydice_slice shared_secret,
crypto/openssh/libcrux_mlkem768_sha3.h
11646
Eurydice_slice uu____0 = Eurydice_array_to_subslice_from(
crypto/openssh/libcrux_mlkem768_sha3.h
11691
Eurydice_slice ind_cpa_secret_key = uu____0.fst;
crypto/openssh/libcrux_mlkem768_sha3.h
11692
Eurydice_slice secret_key0 = uu____0.snd;
crypto/openssh/libcrux_mlkem768_sha3.h
11695
Eurydice_slice ind_cpa_public_key = uu____1.fst;
crypto/openssh/libcrux_mlkem768_sha3.h
11696
Eurydice_slice secret_key = uu____1.snd;
crypto/openssh/libcrux_mlkem768_sha3.h
11700
Eurydice_slice ind_cpa_public_key_hash = uu____2.fst;
crypto/openssh/libcrux_mlkem768_sha3.h
11701
Eurydice_slice implicit_rejection_value = uu____2.snd;
crypto/openssh/libcrux_mlkem768_sha3.h
11720
Eurydice_slice shared_secret0 = uu____3.fst;
crypto/openssh/libcrux_mlkem768_sha3.h
11721
Eurydice_slice pseudorandomness = uu____3.snd;
crypto/openssh/libcrux_mlkem768_sha3.h
11724
Eurydice_slice uu____4 = Eurydice_array_to_subslice_from(
crypto/openssh/libcrux_mlkem768_sha3.h
11733
Eurydice_slice uu____5 = ind_cpa_public_key;
crypto/openssh/libcrux_mlkem768_sha3.h
11814
Eurydice_slice randomness, uint8_t ret[32U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
11846
Eurydice_slice uu____0 = Eurydice_array_to_subslice_from(
crypto/openssh/libcrux_mlkem768_sha3.h
11864
Eurydice_slice shared_secret = uu____1.fst;
crypto/openssh/libcrux_mlkem768_sha3.h
11865
Eurydice_slice pseudorandomness = uu____1.snd;
crypto/openssh/libcrux_mlkem768_sha3.h
11866
Eurydice_slice uu____2 = Eurydice_array_to_slice(
crypto/openssh/libcrux_mlkem768_sha3.h
11954
Eurydice_slice key_generation_seed, uint8_t ret[64U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
11972
Eurydice_slice key_generation_seed) {
crypto/openssh/libcrux_mlkem768_sha3.h
11978
Eurydice_slice seed_for_A0 = uu____0.fst;
crypto/openssh/libcrux_mlkem768_sha3.h
11979
Eurydice_slice seed_for_secret_and_error = uu____0.snd;
crypto/openssh/libcrux_mlkem768_sha3.h
12012
Eurydice_slice_to_array2(&dst, seed_for_A0, Eurydice_slice, uint8_t[32U]);
crypto/openssh/libcrux_mlkem768_sha3.h
12060
Eurydice_slice ind_cpa_keypair_randomness = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
12063
Eurydice_slice implicit_rejection_value = Eurydice_array_to_subslice_from(
crypto/openssh/libcrux_mlkem768_sha3.h
12150
Eurydice_slice expected = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
122
((Eurydice_slice){.ptr = ptr_, .len = len_})
crypto/openssh/libcrux_mlkem768_sha3.h
12216
Eurydice_slice public_key,
crypto/openssh/libcrux_mlkem768_sha3.h
12227
Eurydice_slice ring_element = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
156
Eurydice_slice src, size_t sz) {
crypto/openssh/libcrux_mlkem768_sha3.h
2231
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice blocks[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2233
Eurydice_slice uu____1[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2234
memcpy(uu____1, blocks, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2246
Eurydice_slice buf[1U] = {
crypto/openssh/libcrux_mlkem768_sha3.h
2278
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice last[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2284
Eurydice_slice uu____0 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
2306
uint64_t (*s)[5U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2309
Eurydice_slice uu____0 = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
2326
Eurydice_slice buf[1U] = {
crypto/openssh/libcrux_mlkem768_sha3.h
2358
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2363
Eurydice_slice uu____0 = out[i0];
crypto/openssh/libcrux_mlkem768_sha3.h
2386
uint64_t (*a)[5U], Eurydice_slice b[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2398
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2410
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2423
libcrux_sha3_generic_keccak_KeccakState_48 s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2429
Eurydice_slice uu____0 = out[i0];
crypto/openssh/libcrux_mlkem768_sha3.h
2451
Eurydice_slice data[1U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2459
Eurydice_slice copy_of_data[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2460
memcpy(copy_of_data, data, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2461
Eurydice_slice ret[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2469
Eurydice_slice copy_of_data[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2470
memcpy(copy_of_data, data, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2471
Eurydice_slice ret[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2483
Eurydice_slice o0[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2484
memcpy(o0, uu____4.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2485
Eurydice_slice o1[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2486
memcpy(o1, uu____4.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2501
Eurydice_slice o[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2502
memcpy(o, uu____5.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2503
Eurydice_slice orest[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2504
memcpy(orest, uu____5.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2506
memcpy(o1, orest, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2522
Eurydice_slice data[1U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2524
Eurydice_slice copy_of_data[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2525
memcpy(copy_of_data, data, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2532
static KRML_MUSTINLINE void libcrux_sha3_portable_sha512(Eurydice_slice digest,
crypto/openssh/libcrux_mlkem768_sha3.h
2533
Eurydice_slice data) {
crypto/openssh/libcrux_mlkem768_sha3.h
2534
Eurydice_slice buf0[1U] = {data};
crypto/openssh/libcrux_mlkem768_sha3.h
2535
Eurydice_slice buf[1U] = {digest};
crypto/openssh/libcrux_mlkem768_sha3.h
2545
uint64_t (*s)[5U], Eurydice_slice blocks[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2554
Eurydice_slice, uint8_t[8U]);
crypto/openssh/libcrux_mlkem768_sha3.h
2573
uint64_t (*a)[5U], Eurydice_slice b[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2576
Eurydice_slice copy_of_b[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2577
memcpy(copy_of_b, b, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2589
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice blocks[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2591
Eurydice_slice uu____1[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2592
memcpy(uu____1, blocks, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2604
Eurydice_slice buf[1U] = {
crypto/openssh/libcrux_mlkem768_sha3.h
2636
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice last[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2642
Eurydice_slice uu____0 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
2664
uint64_t (*s)[5U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2667
Eurydice_slice uu____0 = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
2684
Eurydice_slice buf[1U] = {
crypto/openssh/libcrux_mlkem768_sha3.h
2717
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2722
Eurydice_slice uu____0 = out[i0];
crypto/openssh/libcrux_mlkem768_sha3.h
2745
uint64_t (*a)[5U], Eurydice_slice b[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2757
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2769
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2782
libcrux_sha3_generic_keccak_KeccakState_48 s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2788
Eurydice_slice uu____0 = out[i0];
crypto/openssh/libcrux_mlkem768_sha3.h
2810
Eurydice_slice data[1U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2818
Eurydice_slice copy_of_data[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2819
memcpy(copy_of_data, data, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2820
Eurydice_slice ret[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2828
Eurydice_slice copy_of_data[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2829
memcpy(copy_of_data, data, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2830
Eurydice_slice ret[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2842
Eurydice_slice o0[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2843
memcpy(o0, uu____4.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2844
Eurydice_slice o1[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2845
memcpy(o1, uu____4.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2860
Eurydice_slice o[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2861
memcpy(o, uu____5.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2862
Eurydice_slice orest[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2863
memcpy(orest, uu____5.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2865
memcpy(o1, orest, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2881
Eurydice_slice data[1U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2883
Eurydice_slice copy_of_data[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2884
memcpy(copy_of_data, data, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2891
static KRML_MUSTINLINE void libcrux_sha3_portable_sha256(Eurydice_slice digest,
crypto/openssh/libcrux_mlkem768_sha3.h
2892
Eurydice_slice data) {
crypto/openssh/libcrux_mlkem768_sha3.h
2893
Eurydice_slice buf0[1U] = {data};
crypto/openssh/libcrux_mlkem768_sha3.h
2894
Eurydice_slice buf[1U] = {digest};
crypto/openssh/libcrux_mlkem768_sha3.h
2907
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice last[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2913
Eurydice_slice uu____0 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
2938
Eurydice_slice data[1U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
2946
Eurydice_slice copy_of_data[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2947
memcpy(copy_of_data, data, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2948
Eurydice_slice ret[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2956
Eurydice_slice copy_of_data[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2957
memcpy(copy_of_data, data, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2958
Eurydice_slice ret[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2970
Eurydice_slice o0[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2971
memcpy(o0, uu____4.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2972
Eurydice_slice o1[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2973
memcpy(o1, uu____4.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2988
Eurydice_slice o[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2989
memcpy(o, uu____5.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2990
Eurydice_slice orest[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
2991
memcpy(orest, uu____5.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
2993
memcpy(o1, orest, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3009
Eurydice_slice data[1U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3011
Eurydice_slice copy_of_data[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3012
memcpy(copy_of_data, data, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3020
Eurydice_slice digest, Eurydice_slice data) {
crypto/openssh/libcrux_mlkem768_sha3.h
3021
Eurydice_slice buf0[1U] = {data};
crypto/openssh/libcrux_mlkem768_sha3.h
3022
Eurydice_slice buf[1U] = {digest};
crypto/openssh/libcrux_mlkem768_sha3.h
3043
uint64_t (*s)[5U], Eurydice_slice blocks[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3052
Eurydice_slice, uint8_t[8U]);
crypto/openssh/libcrux_mlkem768_sha3.h
3068
Eurydice_slice buf[1U] = {
crypto/openssh/libcrux_mlkem768_sha3.h
3100
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice last[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3106
Eurydice_slice uu____0 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
3127
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice data0) {
crypto/openssh/libcrux_mlkem768_sha3.h
3128
Eurydice_slice buf[1U] = {data0};
crypto/openssh/libcrux_mlkem768_sha3.h
3138
uint64_t (*s)[5U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3141
Eurydice_slice uu____0 = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
3160
uint64_t (*a)[5U], Eurydice_slice b[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3172
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3182
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out0) {
crypto/openssh/libcrux_mlkem768_sha3.h
3183
Eurydice_slice buf[1U] = {out0};
crypto/openssh/libcrux_mlkem768_sha3.h
3195
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3208
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3211
Eurydice_slice o0[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3212
memcpy(o0, uu____0.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3213
Eurydice_slice o10[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3214
memcpy(o10, uu____0.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3218
Eurydice_slice o1[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3219
memcpy(o1, uu____1.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3220
Eurydice_slice o2[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3221
memcpy(o2, uu____1.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3231
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out0) {
crypto/openssh/libcrux_mlkem768_sha3.h
3232
Eurydice_slice buf[1U] = {out0};
crypto/openssh/libcrux_mlkem768_sha3.h
3280
uint64_t (*s)[5U], Eurydice_slice blocks[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3289
Eurydice_slice, uint8_t[8U]);
crypto/openssh/libcrux_mlkem768_sha3.h
3308
uint64_t (*a)[5U], Eurydice_slice b[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3311
Eurydice_slice copy_of_b[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3312
memcpy(copy_of_b, b, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3324
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice blocks[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3326
Eurydice_slice uu____1[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3327
memcpy(uu____1, blocks, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3339
Eurydice_slice buf[1U] = {
crypto/openssh/libcrux_mlkem768_sha3.h
3371
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice last[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3377
Eurydice_slice uu____0 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
3399
uint64_t (*s)[5U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3402
Eurydice_slice uu____0 = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
3419
Eurydice_slice buf[1U] = {
crypto/openssh/libcrux_mlkem768_sha3.h
3452
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3457
Eurydice_slice uu____0 = out[i0];
crypto/openssh/libcrux_mlkem768_sha3.h
3480
uint64_t (*a)[5U], Eurydice_slice b[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3492
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3504
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3517
libcrux_sha3_generic_keccak_KeccakState_48 s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3523
Eurydice_slice uu____0 = out[i0];
crypto/openssh/libcrux_mlkem768_sha3.h
3545
Eurydice_slice data[1U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3553
Eurydice_slice copy_of_data[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3554
memcpy(copy_of_data, data, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3555
Eurydice_slice ret[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3563
Eurydice_slice copy_of_data[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3564
memcpy(copy_of_data, data, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3565
Eurydice_slice ret[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3577
Eurydice_slice o0[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3578
memcpy(o0, uu____4.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3579
Eurydice_slice o1[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3580
memcpy(o1, uu____4.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3595
Eurydice_slice o[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3596
memcpy(o, uu____5.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3597
Eurydice_slice orest[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3598
memcpy(orest, uu____5.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3600
memcpy(o1, orest, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3616
Eurydice_slice data[1U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3618
Eurydice_slice copy_of_data[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3619
memcpy(copy_of_data, data, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3626
static KRML_MUSTINLINE void libcrux_sha3_portable_sha224(Eurydice_slice digest,
crypto/openssh/libcrux_mlkem768_sha3.h
3627
Eurydice_slice data) {
crypto/openssh/libcrux_mlkem768_sha3.h
3628
Eurydice_slice buf0[1U] = {data};
crypto/openssh/libcrux_mlkem768_sha3.h
3629
Eurydice_slice buf[1U] = {digest};
crypto/openssh/libcrux_mlkem768_sha3.h
3639
uint64_t (*s)[5U], Eurydice_slice blocks[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3648
Eurydice_slice, uint8_t[8U]);
crypto/openssh/libcrux_mlkem768_sha3.h
3667
uint64_t (*a)[5U], Eurydice_slice b[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3670
Eurydice_slice copy_of_b[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3671
memcpy(copy_of_b, b, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3683
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice blocks[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3685
Eurydice_slice uu____1[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3686
memcpy(uu____1, blocks, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3698
Eurydice_slice buf[1U] = {
crypto/openssh/libcrux_mlkem768_sha3.h
3730
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice last[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3736
Eurydice_slice uu____0 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
3758
uint64_t (*s)[5U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3761
Eurydice_slice uu____0 = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
3778
Eurydice_slice buf[1U] = {
crypto/openssh/libcrux_mlkem768_sha3.h
3811
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3816
Eurydice_slice uu____0 = out[i0];
crypto/openssh/libcrux_mlkem768_sha3.h
3839
uint64_t (*a)[5U], Eurydice_slice b[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3851
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3863
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3876
libcrux_sha3_generic_keccak_KeccakState_48 s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3882
Eurydice_slice uu____0 = out[i0];
crypto/openssh/libcrux_mlkem768_sha3.h
3904
Eurydice_slice data[1U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3912
Eurydice_slice copy_of_data[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3913
memcpy(copy_of_data, data, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3914
Eurydice_slice ret[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3922
Eurydice_slice copy_of_data[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3923
memcpy(copy_of_data, data, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3924
Eurydice_slice ret[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3936
Eurydice_slice o0[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3937
memcpy(o0, uu____4.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3938
Eurydice_slice o1[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3939
memcpy(o1, uu____4.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3954
Eurydice_slice o[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3955
memcpy(o, uu____5.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3956
Eurydice_slice orest[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3957
memcpy(orest, uu____5.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3959
memcpy(o1, orest, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3975
Eurydice_slice data[1U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
3977
Eurydice_slice copy_of_data[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
3978
memcpy(copy_of_data, data, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
3985
static KRML_MUSTINLINE void libcrux_sha3_portable_sha384(Eurydice_slice digest,
crypto/openssh/libcrux_mlkem768_sha3.h
3986
Eurydice_slice data) {
crypto/openssh/libcrux_mlkem768_sha3.h
3987
Eurydice_slice buf0[1U] = {data};
crypto/openssh/libcrux_mlkem768_sha3.h
3988
Eurydice_slice buf[1U] = {digest};
crypto/openssh/libcrux_mlkem768_sha3.h
3998
static KRML_MUSTINLINE void libcrux_sha3_sha224_ema(Eurydice_slice digest,
crypto/openssh/libcrux_mlkem768_sha3.h
3999
Eurydice_slice payload) {
crypto/openssh/libcrux_mlkem768_sha3.h
4006
static KRML_MUSTINLINE void libcrux_sha3_sha224(Eurydice_slice data,
crypto/openssh/libcrux_mlkem768_sha3.h
4017
static KRML_MUSTINLINE void libcrux_sha3_sha256_ema(Eurydice_slice digest,
crypto/openssh/libcrux_mlkem768_sha3.h
4018
Eurydice_slice payload) {
crypto/openssh/libcrux_mlkem768_sha3.h
4025
static KRML_MUSTINLINE void libcrux_sha3_sha256(Eurydice_slice data,
crypto/openssh/libcrux_mlkem768_sha3.h
403
Eurydice_slice fst[4U];
crypto/openssh/libcrux_mlkem768_sha3.h
4036
static KRML_MUSTINLINE void libcrux_sha3_sha384_ema(Eurydice_slice digest,
crypto/openssh/libcrux_mlkem768_sha3.h
4037
Eurydice_slice payload) {
crypto/openssh/libcrux_mlkem768_sha3.h
404
Eurydice_slice snd[4U];
crypto/openssh/libcrux_mlkem768_sha3.h
4044
static KRML_MUSTINLINE void libcrux_sha3_sha384(Eurydice_slice data,
crypto/openssh/libcrux_mlkem768_sha3.h
4055
static KRML_MUSTINLINE void libcrux_sha3_sha512_ema(Eurydice_slice digest,
crypto/openssh/libcrux_mlkem768_sha3.h
4056
Eurydice_slice payload) {
crypto/openssh/libcrux_mlkem768_sha3.h
4063
static KRML_MUSTINLINE void libcrux_sha3_sha512(Eurydice_slice data,
crypto/openssh/libcrux_mlkem768_sha3.h
4081
uint64_t (*a)[5U], Eurydice_slice b[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
4084
Eurydice_slice copy_of_b[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4085
memcpy(copy_of_b, b, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4097
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice blocks[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
4099
Eurydice_slice uu____1[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4100
memcpy(uu____1, blocks, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4113
Eurydice_slice buf[1U] = {
crypto/openssh/libcrux_mlkem768_sha3.h
4146
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
4151
Eurydice_slice uu____0 = out[i0];
crypto/openssh/libcrux_mlkem768_sha3.h
4172
libcrux_sha3_generic_keccak_KeccakState_48 s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
4178
Eurydice_slice uu____0 = out[i0];
crypto/openssh/libcrux_mlkem768_sha3.h
4200
Eurydice_slice data[1U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
4208
Eurydice_slice copy_of_data[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4209
memcpy(copy_of_data, data, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4210
Eurydice_slice ret[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4218
Eurydice_slice copy_of_data[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4219
memcpy(copy_of_data, data, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4220
Eurydice_slice ret[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4232
Eurydice_slice o0[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4233
memcpy(o0, uu____4.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4234
Eurydice_slice o1[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4235
memcpy(o1, uu____4.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4250
Eurydice_slice o[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4251
memcpy(o, uu____5.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4252
Eurydice_slice orest[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4253
memcpy(orest, uu____5.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4255
memcpy(o1, orest, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4271
Eurydice_slice data[1U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
4273
Eurydice_slice copy_of_data[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4274
memcpy(copy_of_data, data, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4282
Eurydice_slice digest, Eurydice_slice data) {
crypto/openssh/libcrux_mlkem768_sha3.h
4283
Eurydice_slice buf0[1U] = {data};
crypto/openssh/libcrux_mlkem768_sha3.h
4284
Eurydice_slice buf[1U] = {digest};
crypto/openssh/libcrux_mlkem768_sha3.h
4293
static KRML_MUSTINLINE void libcrux_sha3_shake128_ema(Eurydice_slice out,
crypto/openssh/libcrux_mlkem768_sha3.h
4294
Eurydice_slice data) {
crypto/openssh/libcrux_mlkem768_sha3.h
4303
static KRML_MUSTINLINE void libcrux_sha3_shake256_ema(Eurydice_slice out,
crypto/openssh/libcrux_mlkem768_sha3.h
4304
Eurydice_slice data) {
crypto/openssh/libcrux_mlkem768_sha3.h
4325
static KRML_MUSTINLINE void libcrux_sha3_neon_sha224(Eurydice_slice digest,
crypto/openssh/libcrux_mlkem768_sha3.h
4326
Eurydice_slice data) {
crypto/openssh/libcrux_mlkem768_sha3.h
4335
static KRML_MUSTINLINE void libcrux_sha3_neon_sha256(Eurydice_slice digest,
crypto/openssh/libcrux_mlkem768_sha3.h
4336
Eurydice_slice data) {
crypto/openssh/libcrux_mlkem768_sha3.h
4345
static KRML_MUSTINLINE void libcrux_sha3_neon_sha384(Eurydice_slice digest,
crypto/openssh/libcrux_mlkem768_sha3.h
4346
Eurydice_slice data) {
crypto/openssh/libcrux_mlkem768_sha3.h
4355
static KRML_MUSTINLINE void libcrux_sha3_neon_sha512(Eurydice_slice digest,
crypto/openssh/libcrux_mlkem768_sha3.h
4356
Eurydice_slice data) {
crypto/openssh/libcrux_mlkem768_sha3.h
4367
static KRML_MUSTINLINE void libcrux_sha3_neon_x2_shake256(Eurydice_slice input0,
crypto/openssh/libcrux_mlkem768_sha3.h
4368
Eurydice_slice input1,
crypto/openssh/libcrux_mlkem768_sha3.h
4369
Eurydice_slice out0,
crypto/openssh/libcrux_mlkem768_sha3.h
4370
Eurydice_slice out1) {
crypto/openssh/libcrux_mlkem768_sha3.h
4395
libcrux_sha3_neon_x2_incremental_KeccakState *s, Eurydice_slice data0,
crypto/openssh/libcrux_mlkem768_sha3.h
4396
Eurydice_slice data1) {
crypto/openssh/libcrux_mlkem768_sha3.h
4408
libcrux_sha3_neon_x2_incremental_KeccakState *s, Eurydice_slice out0,
crypto/openssh/libcrux_mlkem768_sha3.h
4409
Eurydice_slice out1) {
crypto/openssh/libcrux_mlkem768_sha3.h
4421
libcrux_sha3_neon_x2_incremental_KeccakState *s, Eurydice_slice out0,
crypto/openssh/libcrux_mlkem768_sha3.h
4422
Eurydice_slice out1) {
crypto/openssh/libcrux_mlkem768_sha3.h
4437
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
4440
Eurydice_slice o0[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4441
memcpy(o0, uu____0.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4442
Eurydice_slice o10[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4443
memcpy(o10, uu____0.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4447
Eurydice_slice o1[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4448
memcpy(o1, uu____1.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4449
Eurydice_slice o20[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4450
memcpy(o20, uu____1.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4454
Eurydice_slice o2[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4455
memcpy(o2, uu____2.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4456
Eurydice_slice o30[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4457
memcpy(o30, uu____2.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4461
Eurydice_slice o3[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4462
memcpy(o3, uu____3.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4463
Eurydice_slice o4[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4464
memcpy(o4, uu____3.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4474
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out0) {
crypto/openssh/libcrux_mlkem768_sha3.h
4475
Eurydice_slice buf[1U] = {out0};
crypto/openssh/libcrux_mlkem768_sha3.h
4484
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice data) {
crypto/openssh/libcrux_mlkem768_sha3.h
4485
Eurydice_slice buf[1U] = {data};
crypto/openssh/libcrux_mlkem768_sha3.h
4502
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out) {
crypto/openssh/libcrux_mlkem768_sha3.h
4503
Eurydice_slice buf[1U] = {out};
crypto/openssh/libcrux_mlkem768_sha3.h
4512
libcrux_sha3_generic_keccak_KeccakState_48 *s, Eurydice_slice out) {
crypto/openssh/libcrux_mlkem768_sha3.h
4513
Eurydice_slice buf[1U] = {out};
crypto/openssh/libcrux_mlkem768_sha3.h
4556
Eurydice_slice inputs[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
4564
Eurydice_slice uu____0 = Eurydice_array_to_subslice_from(
crypto/openssh/libcrux_mlkem768_sha3.h
4590
Eurydice_slice inputs[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
4593
Eurydice_slice copy_of_inputs0[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4594
memcpy(copy_of_inputs0, inputs, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4598
Eurydice_slice borrowed[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4602
(size_t)136U, buf, uint8_t, Eurydice_slice);
crypto/openssh/libcrux_mlkem768_sha3.h
4610
Eurydice_slice uu____3[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4611
memcpy(uu____3, borrowed, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4624
Eurydice_slice copy_of_inputs[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4625
memcpy(copy_of_inputs, inputs, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4626
Eurydice_slice ret[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4660
Eurydice_slice inputs[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
4663
Eurydice_slice copy_of_inputs[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4664
memcpy(copy_of_inputs, inputs, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4671
Eurydice_slice uu____2 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
4693
libcrux_sha3_generic_keccak_KeccakXofState_4f *self, Eurydice_slice input) {
crypto/openssh/libcrux_mlkem768_sha3.h
4694
Eurydice_slice buf[1U] = {input};
crypto/openssh/libcrux_mlkem768_sha3.h
4721
Eurydice_slice inputs[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
4724
Eurydice_slice copy_of_inputs[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
4725
memcpy(copy_of_inputs, inputs, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
4733
Eurydice_slice uu____2 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
4741
Eurydice_slice uu____3 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
4772
libcrux_sha3_generic_keccak_KeccakXofState_4f self, Eurydice_slice input) {
crypto/openssh/libcrux_mlkem768_sha3.h
4773
Eurydice_slice buf[1U] = {input};
crypto/openssh/libcrux_mlkem768_sha3.h
5010
Eurydice_slice inputs[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
5018
Eurydice_slice uu____0 = Eurydice_array_to_subslice_from(
crypto/openssh/libcrux_mlkem768_sha3.h
5044
Eurydice_slice inputs[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
5047
Eurydice_slice copy_of_inputs0[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
5048
memcpy(copy_of_inputs0, inputs, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
5052
Eurydice_slice borrowed[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
5056
(size_t)168U, buf, uint8_t, Eurydice_slice);
crypto/openssh/libcrux_mlkem768_sha3.h
5064
Eurydice_slice uu____3[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
5065
memcpy(uu____3, borrowed, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
5078
Eurydice_slice copy_of_inputs[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
5079
memcpy(copy_of_inputs, inputs, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
5080
Eurydice_slice ret[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
5114
Eurydice_slice inputs[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
5117
Eurydice_slice copy_of_inputs[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
5118
memcpy(copy_of_inputs, inputs, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
5125
Eurydice_slice uu____2 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
5144
libcrux_sha3_generic_keccak_KeccakXofState_78 *self, Eurydice_slice input) {
crypto/openssh/libcrux_mlkem768_sha3.h
5145
Eurydice_slice buf[1U] = {input};
crypto/openssh/libcrux_mlkem768_sha3.h
5172
Eurydice_slice inputs[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
5175
Eurydice_slice copy_of_inputs[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
5176
memcpy(copy_of_inputs, inputs, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
5184
Eurydice_slice uu____2 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
5192
Eurydice_slice uu____3 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
5220
libcrux_sha3_generic_keccak_KeccakXofState_78 self, Eurydice_slice input) {
crypto/openssh/libcrux_mlkem768_sha3.h
5221
Eurydice_slice buf[1U] = {input};
crypto/openssh/libcrux_mlkem768_sha3.h
5461
uint64_t (*state)[5U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
5466
Eurydice_slice uu____0 = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
5474
Eurydice_slice uu____1 = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
5503
Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
5518
Eurydice_slice out00[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
5519
memcpy(out00, uu____0.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
5520
Eurydice_slice out_rest[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
5521
memcpy(out_rest, uu____0.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
5537
Eurydice_slice out0[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
5538
memcpy(out0, uu____1.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
5539
Eurydice_slice tmp[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
5540
memcpy(tmp, uu____1.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
5543
memcpy(out_rest, tmp, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
5562
libcrux_sha3_generic_keccak_KeccakXofState_4f *self, Eurydice_slice out) {
crypto/openssh/libcrux_mlkem768_sha3.h
5563
Eurydice_slice buf[1U] = {out};
crypto/openssh/libcrux_mlkem768_sha3.h
5580
uint64_t (*state)[5U], Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
5585
Eurydice_slice uu____0 = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
5593
Eurydice_slice uu____1 = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
5622
Eurydice_slice out[1U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
5637
Eurydice_slice out00[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
5638
memcpy(out00, uu____0.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
5639
Eurydice_slice out_rest[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
5640
memcpy(out_rest, uu____0.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
5656
Eurydice_slice out0[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
5657
memcpy(out0, uu____1.fst, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
5658
Eurydice_slice tmp[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
5659
memcpy(tmp, uu____1.snd, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
5662
memcpy(out_rest, tmp, (size_t)1U * sizeof(Eurydice_slice));
crypto/openssh/libcrux_mlkem768_sha3.h
5681
libcrux_sha3_generic_keccak_KeccakXofState_78 *self, Eurydice_slice out) {
crypto/openssh/libcrux_mlkem768_sha3.h
5682
Eurydice_slice buf[1U] = {out};
crypto/openssh/libcrux_mlkem768_sha3.h
5803
Eurydice_slice input, uint8_t ret[64U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
5811
Eurydice_slice input, uint8_t ret[32U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
5881
Eurydice_slice array) {
crypto/openssh/libcrux_mlkem768_sha3.h
5887
Eurydice_slice, int16_t[16U]);
crypto/openssh/libcrux_mlkem768_sha3.h
5898
libcrux_ml_kem_vector_portable_from_i16_array_0d(Eurydice_slice array) {
crypto/openssh/libcrux_mlkem768_sha3.h
5917
libcrux_ml_kem_vector_portable_serialize_serialize_11_int(Eurydice_slice v) {
crypto/openssh/libcrux_mlkem768_sha3.h
596
Eurydice_slice slice, uint8_t ret[33U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
6048
Eurydice_slice bytes) {
crypto/openssh/libcrux_mlkem768_sha3.h
6132
libcrux_ml_kem_vector_portable_serialize_deserialize_11(Eurydice_slice bytes) {
crypto/openssh/libcrux_mlkem768_sha3.h
615
Eurydice_slice slice, uint8_t ret[34U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
6164
libcrux_ml_kem_vector_portable_deserialize_11_0d(Eurydice_slice a) {
crypto/openssh/libcrux_mlkem768_sha3.h
634
static inline Eurydice_slice libcrux_ml_kem_types_as_ref_00_24(
crypto/openssh/libcrux_mlkem768_sha3.h
648
Eurydice_slice slice, uint8_t ret[1120U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
667
Eurydice_slice slice, uint8_t ret[64U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
7385
libcrux_ml_kem_vector_portable_serialize_deserialize_1(Eurydice_slice v) {
crypto/openssh/libcrux_mlkem768_sha3.h
7411
libcrux_ml_kem_vector_portable_deserialize_1_0d(Eurydice_slice a) {
crypto/openssh/libcrux_mlkem768_sha3.h
7423
libcrux_ml_kem_vector_portable_serialize_serialize_4_int(Eurydice_slice v) {
crypto/openssh/libcrux_mlkem768_sha3.h
744
Eurydice_slice fst;
crypto/openssh/libcrux_mlkem768_sha3.h
745
Eurydice_slice snd;
crypto/openssh/libcrux_mlkem768_sha3.h
7484
Eurydice_slice bytes) {
crypto/openssh/libcrux_mlkem768_sha3.h
749
Eurydice_slice fst[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
750
Eurydice_slice snd[1U];
crypto/openssh/libcrux_mlkem768_sha3.h
7524
libcrux_ml_kem_vector_portable_serialize_deserialize_4(Eurydice_slice bytes) {
crypto/openssh/libcrux_mlkem768_sha3.h
7555
libcrux_ml_kem_vector_portable_deserialize_4_0d(Eurydice_slice a) {
crypto/openssh/libcrux_mlkem768_sha3.h
7568
libcrux_ml_kem_vector_portable_serialize_serialize_5_int(Eurydice_slice v) {
crypto/openssh/libcrux_mlkem768_sha3.h
7627
Eurydice_slice bytes) {
crypto/openssh/libcrux_mlkem768_sha3.h
7678
libcrux_ml_kem_vector_portable_serialize_deserialize_5(Eurydice_slice bytes) {
crypto/openssh/libcrux_mlkem768_sha3.h
7709
libcrux_ml_kem_vector_portable_deserialize_5_0d(Eurydice_slice a) {
crypto/openssh/libcrux_mlkem768_sha3.h
7714
libcrux_ml_kem_vector_portable_serialize_serialize_10_int(Eurydice_slice v) {
crypto/openssh/libcrux_mlkem768_sha3.h
7799
Eurydice_slice bytes) {
crypto/openssh/libcrux_mlkem768_sha3.h
7857
libcrux_ml_kem_vector_portable_serialize_deserialize_10(Eurydice_slice bytes) {
crypto/openssh/libcrux_mlkem768_sha3.h
7889
libcrux_ml_kem_vector_portable_deserialize_10_0d(Eurydice_slice a) {
crypto/openssh/libcrux_mlkem768_sha3.h
7900
libcrux_ml_kem_vector_portable_serialize_serialize_12_int(Eurydice_slice v) {
crypto/openssh/libcrux_mlkem768_sha3.h
7984
Eurydice_slice bytes) {
crypto/openssh/libcrux_mlkem768_sha3.h
7997
libcrux_ml_kem_vector_portable_serialize_deserialize_12(Eurydice_slice bytes) {
crypto/openssh/libcrux_mlkem768_sha3.h
8043
libcrux_ml_kem_vector_portable_deserialize_12_0d(Eurydice_slice a) {
crypto/openssh/libcrux_mlkem768_sha3.h
8048
libcrux_ml_kem_vector_portable_sampling_rej_sample(Eurydice_slice a,
crypto/openssh/libcrux_mlkem768_sha3.h
8049
Eurydice_slice result) {
crypto/openssh/libcrux_mlkem768_sha3.h
805
Eurydice_slice lhs, Eurydice_slice rhs) {
crypto/openssh/libcrux_mlkem768_sha3.h
8113
Eurydice_slice a, Eurydice_slice out) {
crypto/openssh/libcrux_mlkem768_sha3.h
818
Eurydice_slice lhs, Eurydice_slice rhs) {
crypto/openssh/libcrux_mlkem768_sha3.h
8240
Eurydice_slice serialized) {
crypto/openssh/libcrux_mlkem768_sha3.h
8246
Eurydice_slice bytes = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
8265
Eurydice_slice secret_key,
crypto/openssh/libcrux_mlkem768_sha3.h
827
Eurydice_slice lhs, Eurydice_slice rhs, uint8_t selector,
crypto/openssh/libcrux_mlkem768_sha3.h
8276
Eurydice_slice secret_bytes = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
8360
Eurydice_slice serialized) {
crypto/openssh/libcrux_mlkem768_sha3.h
8366
Eurydice_slice bytes = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
8424
Eurydice_slice serialized) {
crypto/openssh/libcrux_mlkem768_sha3.h
8430
Eurydice_slice bytes = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
845
Eurydice_slice lhs, Eurydice_slice rhs, uint8_t selector,
crypto/openssh/libcrux_mlkem768_sha3.h
8450
Eurydice_slice serialized) {
crypto/openssh/libcrux_mlkem768_sha3.h
852
Eurydice_slice lhs_c, Eurydice_slice rhs_c, Eurydice_slice lhs_s,
crypto/openssh/libcrux_mlkem768_sha3.h
853
Eurydice_slice rhs_s, uint8_t ret[32U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
8664
Eurydice_slice u_bytes = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
8729
Eurydice_slice serialized) {
crypto/openssh/libcrux_mlkem768_sha3.h
8735
Eurydice_slice bytes = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
8793
Eurydice_slice serialized) {
crypto/openssh/libcrux_mlkem768_sha3.h
8799
Eurydice_slice bytes = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
88
(CLITERAL(Eurydice_slice){.ptr = (void *)(x + start), .len = end - start})
crypto/openssh/libcrux_mlkem768_sha3.h
8819
Eurydice_slice serialized) {
crypto/openssh/libcrux_mlkem768_sha3.h
9197
Eurydice_slice uu____0 = Eurydice_array_to_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
9266
static inline void libcrux_ml_kem_ind_cpa_decrypt_43(Eurydice_slice secret_key,
crypto/openssh/libcrux_mlkem768_sha3.h
9297
Eurydice_slice input, uint8_t ret[64U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
9307
Eurydice_slice input, uint8_t ret[32U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
9325
Eurydice_slice input, uint8_t ret[32U]) {
crypto/openssh/libcrux_mlkem768_sha3.h
9356
Eurydice_slice serialized) {
crypto/openssh/libcrux_mlkem768_sha3.h
9362
Eurydice_slice bytes = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
9388
Eurydice_slice public_key,
crypto/openssh/libcrux_mlkem768_sha3.h
9399
Eurydice_slice ring_element = Eurydice_slice_subslice2(
crypto/openssh/libcrux_mlkem768_sha3.h
9593
Eurydice_slice uu____0 =
crypto/openssh/libcrux_mlkem768_sha3.h
9714
Eurydice_slice uu____0 =
crypto/openssh/libcrux_mlkem768_sha3.h
9751
libcrux_ml_kem_polynomial_from_i16_array_89_c1(Eurydice_slice a) {