Skip to content

Commit 29d55c1

Browse files
NadrierilNadrieril
authored
Merge pull request #381 from N1ark/charon-1030
Bump Charon
2 parents 354d4b7 + 4c703c6 commit 29d55c1

13 files changed

Lines changed: 583 additions & 7 deletions

‎flake.lock‎

Lines changed: 7 additions & 7 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎out/test-libcrux-no-const/internal/libcrux_core.h‎

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -213,6 +213,9 @@ with const generics
213213
*/
214214
Eurydice_arr_00 libcrux_ml_kem_types_from_51_af(Eurydice_arr_00 value);
215215

216+
/**
217+
Create a new [`MlKemKeyPair`] from the secret and public key.
218+
*/
216219
/**
217220
This function found in impl {libcrux_ml_kem::types::MlKemKeyPair<PRIVATE_KEY_SIZE, PUBLIC_KEY_SIZE>}
218221
*/
@@ -270,6 +273,9 @@ with const generics
270273
*/
271274
Eurydice_arr_00 libcrux_ml_kem_types_from_19_af(Eurydice_arr_00 value);
272275

276+
/**
277+
A reference to the raw byte slice.
278+
*/
273279
/**
274280
This function found in impl {libcrux_ml_kem::types::MlKemPublicKey<SIZE>}
275281
*/
@@ -280,6 +286,9 @@ with const generics
280286
*/
281287
Eurydice_arr_00 *libcrux_ml_kem_types_as_slice_e6_af(Eurydice_arr_00 *self);
282288

289+
/**
290+
A reference to the raw byte slice.
291+
*/
283292
/**
284293
This function found in impl {libcrux_ml_kem::types::MlKemCiphertext<SIZE>}
285294
*/
@@ -549,6 +558,9 @@ with const generics
549558
*/
550559
Eurydice_arr_74 libcrux_ml_kem_types_from_51_d0(Eurydice_arr_74 value);
551560

561+
/**
562+
Create a new [`MlKemKeyPair`] from the secret and public key.
563+
*/
552564
/**
553565
This function found in impl {libcrux_ml_kem::types::MlKemKeyPair<PRIVATE_KEY_SIZE, PUBLIC_KEY_SIZE>}
554566
*/
@@ -624,6 +636,9 @@ with const generics
624636
*/
625637
Eurydice_arr_2c libcrux_ml_kem_types_from_19_80(Eurydice_arr_2c value);
626638

639+
/**
640+
A reference to the raw byte slice.
641+
*/
627642
/**
628643
This function found in impl {libcrux_ml_kem::types::MlKemPublicKey<SIZE>}
629644
*/
@@ -642,6 +657,9 @@ with const generics
642657
*/
643658
Eurydice_mut_borrow_slice_u8 Eurydice_array_to_slice_mut_45(Eurydice_arr_74 *a);
644659

660+
/**
661+
A reference to the raw byte slice.
662+
*/
645663
/**
646664
This function found in impl {libcrux_ml_kem::types::MlKemCiphertext<SIZE>}
647665
*/
@@ -857,6 +875,9 @@ with const generics
857875
*/
858876
Eurydice_arr_30 libcrux_ml_kem_types_from_51_4d(Eurydice_arr_30 value);
859877

878+
/**
879+
Create a new [`MlKemKeyPair`] from the secret and public key.
880+
*/
860881
/**
861882
This function found in impl {libcrux_ml_kem::types::MlKemKeyPair<PRIVATE_KEY_SIZE, PUBLIC_KEY_SIZE>}
862883
*/
@@ -962,6 +983,9 @@ with const generics
962983
*/
963984
Eurydice_arr_56 libcrux_ml_kem_types_from_19_d0(Eurydice_arr_56 value);
964985

986+
/**
987+
A reference to the raw byte slice.
988+
*/
965989
/**
966990
This function found in impl {libcrux_ml_kem::types::MlKemPublicKey<SIZE>}
967991
*/
@@ -972,6 +996,9 @@ with const generics
972996
*/
973997
Eurydice_arr_30 *libcrux_ml_kem_types_as_slice_e6_4d(Eurydice_arr_30 *self);
974998

999+
/**
1000+
A reference to the raw byte slice.
1001+
*/
9751002
/**
9761003
This function found in impl {libcrux_ml_kem::types::MlKemCiphertext<SIZE>}
9771004
*/

‎out/test-libcrux-no-const/internal/libcrux_mlkem_avx2.h‎

Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -106,6 +106,9 @@ typedef struct libcrux_ml_kem_mlkem768_avx2_unpacked_MlKem768KeyPairUnpacked_s
106106
}
107107
libcrux_ml_kem_mlkem768_avx2_unpacked_MlKem768KeyPairUnpacked;
108108

109+
/**
110+
Get the serialized public key.
111+
*/
109112
/**
110113
This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked<Vector, K>[TraitClause@0, TraitClause@1]}
111114
*/
@@ -134,6 +137,9 @@ libcrux_ml_kem_ind_cca_unpacked_clone_d7_ab(
134137
libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_63 *self
135138
);
136139

140+
/**
141+
Get the serialized public key.
142+
*/
137143
/**
138144
This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked<Vector, K>[TraitClause@0, TraitClause@1]}
139145
*/
@@ -150,6 +156,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_ed(
150156
Eurydice_arr_74 *serialized
151157
);
152158

159+
/**
160+
Get the serialized public key.
161+
*/
153162
/**
154163
This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked<Vector, K>[TraitClause@0, TraitClause@1]}
155164
*/
@@ -166,6 +175,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_mut_11_ed(
166175
Eurydice_arr_74 *serialized
167176
);
168177

178+
/**
179+
Get the serialized public key.
180+
*/
169181
/**
170182
This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked<Vector, K>[TraitClause@0, TraitClause@1]}
171183
*/
@@ -181,6 +193,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_11_ed(
181193
libcrux_ml_kem_mlkem768_avx2_unpacked_MlKem768KeyPairUnpacked *self
182194
);
183195

196+
/**
197+
Get the serialized private key.
198+
*/
184199
/**
185200
This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked<Vector, K>[TraitClause@0, TraitClause@1]}
186201
*/
@@ -199,6 +214,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_8c(
199214
Eurydice_arr_ea *serialized
200215
);
201216

217+
/**
218+
Get the serialized private key.
219+
*/
202220
/**
203221
This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked<Vector, K>[TraitClause@0, TraitClause@1]}
204222
*/
@@ -537,6 +555,9 @@ typedef struct libcrux_ml_kem_mlkem1024_avx2_unpacked_MlKem1024KeyPairUnpacked_s
537555
}
538556
libcrux_ml_kem_mlkem1024_avx2_unpacked_MlKem1024KeyPairUnpacked;
539557

558+
/**
559+
Get the serialized public key.
560+
*/
540561
/**
541562
This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked<Vector, K>[TraitClause@0, TraitClause@1]}
542563
*/
@@ -553,6 +574,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_78(
553574
Eurydice_arr_00 *serialized
554575
);
555576

577+
/**
578+
Get the serialized public key.
579+
*/
556580
/**
557581
This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked<Vector, K>[TraitClause@0, TraitClause@1]}
558582
*/
@@ -569,6 +593,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_mut_11_78(
569593
Eurydice_arr_00 *serialized
570594
);
571595

596+
/**
597+
Get the serialized public key.
598+
*/
572599
/**
573600
This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked<Vector, K>[TraitClause@0, TraitClause@1]}
574601
*/
@@ -584,6 +611,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_11_78(
584611
libcrux_ml_kem_mlkem1024_avx2_unpacked_MlKem1024KeyPairUnpacked *self
585612
);
586613

614+
/**
615+
Get the serialized private key.
616+
*/
587617
/**
588618
This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked<Vector, K>[TraitClause@0, TraitClause@1]}
589619
*/
@@ -602,6 +632,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_c9(
602632
Eurydice_arr_17 *serialized
603633
);
604634

635+
/**
636+
Get the serialized private key.
637+
*/
605638
/**
606639
This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked<Vector, K>[TraitClause@0, TraitClause@1]}
607640
*/
@@ -940,6 +973,9 @@ typedef struct libcrux_ml_kem_mlkem512_avx2_unpacked_MlKem512KeyPairUnpacked_s
940973
}
941974
libcrux_ml_kem_mlkem512_avx2_unpacked_MlKem512KeyPairUnpacked;
942975

976+
/**
977+
Get the serialized public key.
978+
*/
943979
/**
944980
This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked<Vector, K>[TraitClause@0, TraitClause@1]}
945981
*/
@@ -956,6 +992,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_29(
956992
Eurydice_arr_30 *serialized
957993
);
958994

995+
/**
996+
Get the serialized public key.
997+
*/
959998
/**
960999
This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked<Vector, K>[TraitClause@0, TraitClause@1]}
9611000
*/
@@ -972,6 +1011,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_mut_11_29(
9721011
Eurydice_arr_30 *serialized
9731012
);
9741013

1014+
/**
1015+
Get the serialized public key.
1016+
*/
9751017
/**
9761018
This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked<Vector, K>[TraitClause@0, TraitClause@1]}
9771019
*/
@@ -987,6 +1029,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_11_29(
9871029
libcrux_ml_kem_mlkem512_avx2_unpacked_MlKem512KeyPairUnpacked *self
9881030
);
9891031

1032+
/**
1033+
Get the serialized private key.
1034+
*/
9901035
/**
9911036
This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked<Vector, K>[TraitClause@0, TraitClause@1]}
9921037
*/
@@ -1005,6 +1050,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_2d(
10051050
Eurydice_arr_7f *serialized
10061051
);
10071052

1053+
/**
1054+
Get the serialized private key.
1055+
*/
10081056
/**
10091057
This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked<Vector, K>[TraitClause@0, TraitClause@1]}
10101058
*/

0 commit comments

Comments
 (0)