diff --git a/flake.lock b/flake.lock index 5a323a9a..3d55e89b 100644 --- a/flake.lock +++ b/flake.lock @@ -26,11 +26,11 @@ "rust-overlay": "rust-overlay" }, "locked": { - "lastModified": 1771437768, - "narHash": "sha256-krVwC21DtygsLTM7RUYcZJCwQVoOEnxy/aupelGi9s8=", + "lastModified": 1771947499, + "narHash": "sha256-69FxDQdwZNpI66nRYa2C6ITb+G8BNqeyJ3xT3WDvGts=", "owner": "aeneasverif", "repo": "charon", - "rev": "eb7e0fb79a20d1ee338c3d47fe16243d6ab81f66", + "rev": "5096e3636113c1e4da8a27c8d90b88dbadf87150", "type": "github" }, "original": { @@ -680,17 +680,17 @@ ] }, "locked": { - "lastModified": 1763952169, - "narHash": "sha256-+PeDBD8P+NKauH+w7eO/QWCIp8Cx4mCfWnh9sJmy9CM=", + "lastModified": 1771902481, + "narHash": "sha256-svI5ivzggtu4KhCdoab3xR5+Btop24o7yLFtIPXrsPM=", "owner": "oxalica", "repo": "rust-overlay", - "rev": "ab726555a9a72e6dc80649809147823a813fa95b", + "rev": "5177426d9f8f7f1827001c9749b9a9c5570d456b", "type": "github" }, "original": { "owner": "oxalica", "repo": "rust-overlay", - "rev": "ab726555a9a72e6dc80649809147823a813fa95b", + "rev": "5177426d9f8f7f1827001c9749b9a9c5570d456b", "type": "github" } }, diff --git a/out/test-libcrux-no-const/internal/libcrux_core.h b/out/test-libcrux-no-const/internal/libcrux_core.h index 451fce32..c0d417bb 100644 --- a/out/test-libcrux-no-const/internal/libcrux_core.h +++ b/out/test-libcrux-no-const/internal/libcrux_core.h @@ -213,6 +213,9 @@ with const generics */ Eurydice_arr_00 libcrux_ml_kem_types_from_51_af(Eurydice_arr_00 value); +/** + Create a new [`MlKemKeyPair`] from the secret and public key. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemKeyPair} */ @@ -270,6 +273,9 @@ with const generics */ Eurydice_arr_00 libcrux_ml_kem_types_from_19_af(Eurydice_arr_00 value); +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemPublicKey} */ @@ -280,6 +286,9 @@ with const generics */ Eurydice_arr_00 *libcrux_ml_kem_types_as_slice_e6_af(Eurydice_arr_00 *self); +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemCiphertext} */ @@ -549,6 +558,9 @@ with const generics */ Eurydice_arr_74 libcrux_ml_kem_types_from_51_d0(Eurydice_arr_74 value); +/** + Create a new [`MlKemKeyPair`] from the secret and public key. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemKeyPair} */ @@ -624,6 +636,9 @@ with const generics */ Eurydice_arr_2c libcrux_ml_kem_types_from_19_80(Eurydice_arr_2c value); +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemPublicKey} */ @@ -642,6 +657,9 @@ with const generics */ Eurydice_mut_borrow_slice_u8 Eurydice_array_to_slice_mut_45(Eurydice_arr_74 *a); +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemCiphertext} */ @@ -857,6 +875,9 @@ with const generics */ Eurydice_arr_30 libcrux_ml_kem_types_from_51_4d(Eurydice_arr_30 value); +/** + Create a new [`MlKemKeyPair`] from the secret and public key. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemKeyPair} */ @@ -962,6 +983,9 @@ with const generics */ Eurydice_arr_56 libcrux_ml_kem_types_from_19_d0(Eurydice_arr_56 value); +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemPublicKey} */ @@ -972,6 +996,9 @@ with const generics */ Eurydice_arr_30 *libcrux_ml_kem_types_as_slice_e6_4d(Eurydice_arr_30 *self); +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemCiphertext} */ diff --git a/out/test-libcrux-no-const/internal/libcrux_mlkem_avx2.h b/out/test-libcrux-no-const/internal/libcrux_mlkem_avx2.h index 46d58112..c89d91c2 100644 --- a/out/test-libcrux-no-const/internal/libcrux_mlkem_avx2.h +++ b/out/test-libcrux-no-const/internal/libcrux_mlkem_avx2.h @@ -106,6 +106,9 @@ typedef struct libcrux_ml_kem_mlkem768_avx2_unpacked_MlKem768KeyPairUnpacked_s } libcrux_ml_kem_mlkem768_avx2_unpacked_MlKem768KeyPairUnpacked; +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -134,6 +137,9 @@ libcrux_ml_kem_ind_cca_unpacked_clone_d7_ab( libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_63 *self ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -150,6 +156,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_ed( Eurydice_arr_74 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -166,6 +175,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_mut_11_ed( Eurydice_arr_74 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -181,6 +193,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_11_ed( libcrux_ml_kem_mlkem768_avx2_unpacked_MlKem768KeyPairUnpacked *self ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -199,6 +214,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_8c( Eurydice_arr_ea *serialized ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -537,6 +555,9 @@ typedef struct libcrux_ml_kem_mlkem1024_avx2_unpacked_MlKem1024KeyPairUnpacked_s } libcrux_ml_kem_mlkem1024_avx2_unpacked_MlKem1024KeyPairUnpacked; +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -553,6 +574,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_78( Eurydice_arr_00 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -569,6 +593,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_mut_11_78( Eurydice_arr_00 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -584,6 +611,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_11_78( libcrux_ml_kem_mlkem1024_avx2_unpacked_MlKem1024KeyPairUnpacked *self ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -602,6 +632,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_c9( Eurydice_arr_17 *serialized ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -940,6 +973,9 @@ typedef struct libcrux_ml_kem_mlkem512_avx2_unpacked_MlKem512KeyPairUnpacked_s } libcrux_ml_kem_mlkem512_avx2_unpacked_MlKem512KeyPairUnpacked; +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -956,6 +992,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_29( Eurydice_arr_30 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -972,6 +1011,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_mut_11_29( Eurydice_arr_30 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -987,6 +1029,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_11_29( libcrux_ml_kem_mlkem512_avx2_unpacked_MlKem512KeyPairUnpacked *self ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -1005,6 +1050,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_2d( Eurydice_arr_7f *serialized ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ diff --git a/out/test-libcrux-no-const/internal/libcrux_mlkem_portable.h b/out/test-libcrux-no-const/internal/libcrux_mlkem_portable.h index 01d7afd8..4891b5ee 100644 --- a/out/test-libcrux-no-const/internal/libcrux_mlkem_portable.h +++ b/out/test-libcrux-no-const/internal/libcrux_mlkem_portable.h @@ -151,6 +151,9 @@ typedef struct libcrux_ml_kem_mlkem1024_portable_unpacked_MlKem1024KeyPairUnpack } libcrux_ml_kem_mlkem1024_portable_unpacked_MlKem1024KeyPairUnpacked; +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -167,6 +170,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_ff( Eurydice_arr_00 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -183,6 +189,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_mut_11_ff( Eurydice_arr_00 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -216,6 +225,9 @@ libcrux_ml_kem_ind_cca_serialize_kem_secret_key_mut_60( Eurydice_arr_17 *serialized ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -234,6 +246,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_2f( Eurydice_arr_17 *serialized ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -609,6 +624,9 @@ typedef struct libcrux_ml_kem_mlkem512_portable_unpacked_MlKem512KeyPairUnpacked } libcrux_ml_kem_mlkem512_portable_unpacked_MlKem512KeyPairUnpacked; +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -625,6 +643,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_64( Eurydice_arr_30 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -641,6 +662,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_mut_11_64( Eurydice_arr_30 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -674,6 +698,9 @@ libcrux_ml_kem_ind_cca_serialize_kem_secret_key_mut_30( Eurydice_arr_7f *serialized ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -692,6 +719,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_6d( Eurydice_arr_7f *serialized ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -1065,6 +1095,9 @@ typedef struct libcrux_ml_kem_mlkem768_portable_unpacked_MlKem768KeyPairUnpacked } libcrux_ml_kem_mlkem768_portable_unpacked_MlKem768KeyPairUnpacked; +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -1093,6 +1126,9 @@ libcrux_ml_kem_ind_cca_unpacked_clone_d7_1b( libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_a0 *self ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -1109,6 +1145,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_89( Eurydice_arr_74 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -1125,6 +1164,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_mut_11_89( Eurydice_arr_74 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -1158,6 +1200,9 @@ libcrux_ml_kem_ind_cca_serialize_kem_secret_key_mut_d6( Eurydice_arr_ea *serialized ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -1176,6 +1221,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_43( Eurydice_arr_ea *serialized ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ diff --git a/out/test-libcrux-no-const/libcrux_core.c b/out/test-libcrux-no-const/libcrux_core.c index d473eaca..05d1ca30 100644 --- a/out/test-libcrux-no-const/libcrux_core.c +++ b/out/test-libcrux-no-const/libcrux_core.c @@ -408,6 +408,9 @@ Eurydice_arr_00 libcrux_ml_kem_types_from_51_af(Eurydice_arr_00 value) return value; } +/** + Create a new [`MlKemKeyPair`] from the secret and public key. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemKeyPair} */ @@ -481,6 +484,9 @@ Eurydice_arr_00 libcrux_ml_kem_types_from_19_af(Eurydice_arr_00 value) return value; } +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemPublicKey} */ @@ -494,6 +500,9 @@ Eurydice_arr_00 *libcrux_ml_kem_types_as_slice_e6_af(Eurydice_arr_00 *self) return self; } +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemCiphertext} */ @@ -782,6 +791,9 @@ Eurydice_arr_74 libcrux_ml_kem_types_from_51_d0(Eurydice_arr_74 value) return value; } +/** + Create a new [`MlKemKeyPair`] from the secret and public key. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemKeyPair} */ @@ -886,6 +898,9 @@ Eurydice_arr_2c libcrux_ml_kem_types_from_19_80(Eurydice_arr_2c value) return value; } +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemPublicKey} */ @@ -913,6 +928,9 @@ Eurydice_mut_borrow_slice_u8 Eurydice_array_to_slice_mut_45(Eurydice_arr_74 *a) return lit; } +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemCiphertext} */ @@ -1204,6 +1222,9 @@ Eurydice_arr_30 libcrux_ml_kem_types_from_51_4d(Eurydice_arr_30 value) return value; } +/** + Create a new [`MlKemKeyPair`] from the secret and public key. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemKeyPair} */ @@ -1330,6 +1351,9 @@ Eurydice_arr_56 libcrux_ml_kem_types_from_19_d0(Eurydice_arr_56 value) return value; } +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemPublicKey} */ @@ -1343,6 +1367,9 @@ Eurydice_arr_30 *libcrux_ml_kem_types_as_slice_e6_4d(Eurydice_arr_30 *self) return self; } +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemCiphertext} */ diff --git a/out/test-libcrux-no-const/libcrux_mlkem_avx2.c b/out/test-libcrux-no-const/libcrux_mlkem_avx2.c index 7fb72ea0..8c025e01 100644 --- a/out/test-libcrux-no-const/libcrux_mlkem_avx2.c +++ b/out/test-libcrux-no-const/libcrux_mlkem_avx2.c @@ -2398,6 +2398,9 @@ libcrux_ml_kem_ind_cca_unpacked_unpack_public_key_fb1( unpacked_public_key->public_key_hash = uu____3; } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2582,6 +2585,9 @@ serialize_public_key_mut_ed( uint8_t); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2603,6 +2609,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_ed( serialized); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2640,6 +2649,9 @@ serialize_public_key_ed(Eurydice_arr_9d *t_as_ntt, Eurydice_mut_borrow_slice_u8 return public_key_serialized; } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2658,6 +2670,9 @@ serialized_dd_ed(libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_63 *self Eurydice_array_to_slice_mut_6e(&self->ind_cpa_public_key.seed_for_A))); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2702,6 +2717,9 @@ serialize_unpacked_secret_key_ed( return (KRML_CLITERAL(tuple_af){ .fst = secret_key_serialized, .snd = public_key_serialized }); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2732,6 +2750,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_8c( serialized); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -3642,6 +3663,10 @@ add_to_ring_element_ab(Eurydice_arr_51 *myself, Eurydice_arr_51 *rhs) myself->data[i0] = libcrux_ml_kem_vector_avx2_add_f5(myself->data[i0], &rhs->data[i0]);); } +/** + Given two polynomial ring elements `lhs` and `rhs`, compute the pointwise + sum of their constituent coefficients. +*/ /** This function found in impl {libcrux_ml_kem::polynomial::PolynomialRingElement[TraitClause@0, TraitClause@1]} */ @@ -6788,6 +6813,9 @@ serialize_public_key_mut_78( uint8_t); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6809,6 +6837,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_78( serialized); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6846,6 +6877,9 @@ serialize_public_key_78(Eurydice_arr_c5 *t_as_ntt, Eurydice_mut_borrow_slice_u8 return public_key_serialized; } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6864,6 +6898,9 @@ serialized_dd_78(libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_39 *self Eurydice_array_to_slice_mut_6e(&self->ind_cpa_public_key.seed_for_A))); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6908,6 +6945,9 @@ serialize_unpacked_secret_key_1e( return (KRML_CLITERAL(tuple_ad){ .fst = secret_key_serialized, .snd = public_key_serialized }); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6938,6 +6978,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_c9( serialized); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -7424,6 +7467,10 @@ add_to_ring_element_42(Eurydice_arr_51 *myself, Eurydice_arr_51 *rhs) myself->data[i0] = libcrux_ml_kem_vector_avx2_add_f5(myself->data[i0], &rhs->data[i0]);); } +/** + Given two polynomial ring elements `lhs` and `rhs`, compute the pointwise + sum of their constituent coefficients. +*/ /** This function found in impl {libcrux_ml_kem::polynomial::PolynomialRingElement[TraitClause@0, TraitClause@1]} */ @@ -9614,6 +9661,9 @@ serialize_public_key_mut_29( uint8_t); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9635,6 +9685,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_29( serialized); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9672,6 +9725,9 @@ serialize_public_key_29(Eurydice_arr_d3 *t_as_ntt, Eurydice_mut_borrow_slice_u8 return public_key_serialized; } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9690,6 +9746,9 @@ serialized_dd_29(libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_94 *self Eurydice_array_to_slice_mut_6e(&self->ind_cpa_public_key.seed_for_A))); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9734,6 +9793,9 @@ serialize_unpacked_secret_key_ba( return (KRML_CLITERAL(tuple_0c){ .fst = secret_key_serialized, .snd = public_key_serialized }); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9764,6 +9826,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_2d( serialized); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -10255,6 +10320,10 @@ add_to_ring_element_89(Eurydice_arr_51 *myself, Eurydice_arr_51 *rhs) myself->data[i0] = libcrux_ml_kem_vector_avx2_add_f5(myself->data[i0], &rhs->data[i0]);); } +/** + Given two polynomial ring elements `lhs` and `rhs`, compute the pointwise + sum of their constituent coefficients. +*/ /** This function found in impl {libcrux_ml_kem::polynomial::PolynomialRingElement[TraitClause@0, TraitClause@1]} */ diff --git a/out/test-libcrux-no-const/libcrux_mlkem_portable.c b/out/test-libcrux-no-const/libcrux_mlkem_portable.c index e7167c69..613b4177 100644 --- a/out/test-libcrux-no-const/libcrux_mlkem_portable.c +++ b/out/test-libcrux-no-const/libcrux_mlkem_portable.c @@ -2446,6 +2446,9 @@ serialize_public_key_mut_ff( uint8_t); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2467,6 +2470,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_ff( serialized); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2504,6 +2510,9 @@ serialize_public_key_ff(Eurydice_arr_cf *t_as_ntt, Eurydice_mut_borrow_slice_u8 return public_key_serialized; } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2522,6 +2531,9 @@ serialized_dd_ff(libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_af *self Eurydice_array_to_slice_mut_6e(&self->ind_cpa_public_key.seed_for_A))); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2624,6 +2636,9 @@ libcrux_ml_kem_ind_cca_serialize_kem_secret_key_mut_60( uint8_t); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2654,6 +2669,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_2f( serialized); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -3465,6 +3483,10 @@ add_to_ring_element_d0(Eurydice_arr_b9 *myself, Eurydice_arr_b9 *rhs) myself->data[i0] = uu____0;); } +/** + Given two polynomial ring elements `lhs` and `rhs`, compute the pointwise + sum of their constituent coefficients. +*/ /** This function found in impl {libcrux_ml_kem::polynomial::PolynomialRingElement[TraitClause@0, TraitClause@1]} */ @@ -6415,6 +6437,9 @@ serialize_public_key_mut_64( uint8_t); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6436,6 +6461,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_64( serialized); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6473,6 +6501,9 @@ serialize_public_key_64(Eurydice_arr_3d0 *t_as_ntt, Eurydice_mut_borrow_slice_u8 return public_key_serialized; } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6491,6 +6522,9 @@ serialized_dd_64(libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_d4 *self Eurydice_array_to_slice_mut_6e(&self->ind_cpa_public_key.seed_for_A))); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6593,6 +6627,9 @@ libcrux_ml_kem_ind_cca_serialize_kem_secret_key_mut_30( uint8_t); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6623,6 +6660,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_6d( serialized); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -7003,6 +7043,10 @@ add_to_ring_element_a0(Eurydice_arr_b9 *myself, Eurydice_arr_b9 *rhs) myself->data[i0] = uu____0;); } +/** + Given two polynomial ring elements `lhs` and `rhs`, compute the pointwise + sum of their constituent coefficients. +*/ /** This function found in impl {libcrux_ml_kem::polynomial::PolynomialRingElement[TraitClause@0, TraitClause@1]} */ @@ -9092,6 +9136,9 @@ libcrux_ml_kem_ind_cca_unpacked_unpack_public_key_0a( unpacked_public_key->public_key_hash = uu____3; } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9237,6 +9284,9 @@ serialize_public_key_mut_89( uint8_t); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9258,6 +9308,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_89( serialized); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9295,6 +9348,9 @@ serialize_public_key_89(Eurydice_arr_1d *t_as_ntt, Eurydice_mut_borrow_slice_u8 return public_key_serialized; } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9313,6 +9369,9 @@ serialized_dd_89(libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_a0 *self Eurydice_array_to_slice_mut_6e(&self->ind_cpa_public_key.seed_for_A))); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9415,6 +9474,9 @@ libcrux_ml_kem_ind_cca_serialize_kem_secret_key_mut_d6( uint8_t); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9445,6 +9507,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_43( serialized); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9813,6 +9878,10 @@ add_to_ring_element_1b(Eurydice_arr_b9 *myself, Eurydice_arr_b9 *rhs) myself->data[i0] = uu____0;); } +/** + Given two polynomial ring elements `lhs` and `rhs`, compute the pointwise + sum of their constituent coefficients. +*/ /** This function found in impl {libcrux_ml_kem::polynomial::PolynomialRingElement[TraitClause@0, TraitClause@1]} */ diff --git a/out/test-libcrux/internal/libcrux_core.h b/out/test-libcrux/internal/libcrux_core.h index 0d37e12a..c3e1f7d0 100644 --- a/out/test-libcrux/internal/libcrux_core.h +++ b/out/test-libcrux/internal/libcrux_core.h @@ -222,6 +222,9 @@ with const generics */ Eurydice_arr_00 libcrux_ml_kem_types_from_51_af(Eurydice_arr_00 value); +/** + Create a new [`MlKemKeyPair`] from the secret and public key. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemKeyPair} */ @@ -287,6 +290,9 @@ with const generics */ Eurydice_arr_00 libcrux_ml_kem_types_from_19_af(Eurydice_arr_00 value); +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemPublicKey} */ @@ -297,6 +303,9 @@ with const generics */ const Eurydice_arr_00 *libcrux_ml_kem_types_as_slice_e6_af(const Eurydice_arr_00 *self); +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemCiphertext} */ @@ -602,6 +611,9 @@ with const generics */ Eurydice_arr_74 libcrux_ml_kem_types_from_51_d0(Eurydice_arr_74 value); +/** + Create a new [`MlKemKeyPair`] from the secret and public key. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemKeyPair} */ @@ -685,6 +697,9 @@ with const generics */ Eurydice_arr_2c libcrux_ml_kem_types_from_19_80(Eurydice_arr_2c value); +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemPublicKey} */ @@ -703,6 +718,9 @@ with const generics */ Eurydice_borrow_slice_u8 Eurydice_array_to_slice_shared_45(const Eurydice_arr_74 *a); +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemCiphertext} */ @@ -954,6 +972,9 @@ with const generics */ Eurydice_arr_30 libcrux_ml_kem_types_from_51_4d(Eurydice_arr_30 value); +/** + Create a new [`MlKemKeyPair`] from the secret and public key. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemKeyPair} */ @@ -1085,6 +1106,9 @@ with const generics */ Eurydice_arr_56 libcrux_ml_kem_types_from_19_d0(Eurydice_arr_56 value); +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemPublicKey} */ @@ -1095,6 +1119,9 @@ with const generics */ const Eurydice_arr_30 *libcrux_ml_kem_types_as_slice_e6_4d(const Eurydice_arr_30 *self); +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemCiphertext} */ diff --git a/out/test-libcrux/internal/libcrux_mlkem_avx2.h b/out/test-libcrux/internal/libcrux_mlkem_avx2.h index 692e06d6..cad6a229 100644 --- a/out/test-libcrux/internal/libcrux_mlkem_avx2.h +++ b/out/test-libcrux/internal/libcrux_mlkem_avx2.h @@ -106,6 +106,9 @@ typedef struct libcrux_ml_kem_mlkem768_avx2_unpacked_MlKem768KeyPairUnpacked_s } libcrux_ml_kem_mlkem768_avx2_unpacked_MlKem768KeyPairUnpacked; +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -135,6 +138,9 @@ libcrux_ml_kem_ind_cca_unpacked_clone_d7_ab( const libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_63 *self ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -151,6 +157,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_ed( Eurydice_arr_74 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -167,6 +176,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_mut_11_ed( Eurydice_arr_74 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -182,6 +194,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_11_ed( const libcrux_ml_kem_mlkem768_avx2_unpacked_MlKem768KeyPairUnpacked *self ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -200,6 +215,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_8c( Eurydice_arr_ea *serialized ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -538,6 +556,9 @@ typedef struct libcrux_ml_kem_mlkem1024_avx2_unpacked_MlKem1024KeyPairUnpacked_s } libcrux_ml_kem_mlkem1024_avx2_unpacked_MlKem1024KeyPairUnpacked; +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -554,6 +575,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_78( Eurydice_arr_00 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -570,6 +594,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_mut_11_78( Eurydice_arr_00 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -585,6 +612,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_11_78( const libcrux_ml_kem_mlkem1024_avx2_unpacked_MlKem1024KeyPairUnpacked *self ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -603,6 +633,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_c9( Eurydice_arr_17 *serialized ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -941,6 +974,9 @@ typedef struct libcrux_ml_kem_mlkem512_avx2_unpacked_MlKem512KeyPairUnpacked_s } libcrux_ml_kem_mlkem512_avx2_unpacked_MlKem512KeyPairUnpacked; +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -957,6 +993,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_29( Eurydice_arr_30 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -973,6 +1012,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_mut_11_29( Eurydice_arr_30 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -988,6 +1030,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_11_29( const libcrux_ml_kem_mlkem512_avx2_unpacked_MlKem512KeyPairUnpacked *self ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -1006,6 +1051,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_2d( Eurydice_arr_7f *serialized ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ diff --git a/out/test-libcrux/internal/libcrux_mlkem_portable.h b/out/test-libcrux/internal/libcrux_mlkem_portable.h index a5c347ca..455c71dc 100644 --- a/out/test-libcrux/internal/libcrux_mlkem_portable.h +++ b/out/test-libcrux/internal/libcrux_mlkem_portable.h @@ -151,6 +151,9 @@ typedef struct libcrux_ml_kem_mlkem1024_portable_unpacked_MlKem1024KeyPairUnpack } libcrux_ml_kem_mlkem1024_portable_unpacked_MlKem1024KeyPairUnpacked; +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -167,6 +170,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_ff( Eurydice_arr_00 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -183,6 +189,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_mut_11_ff( Eurydice_arr_00 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -216,6 +225,9 @@ libcrux_ml_kem_ind_cca_serialize_kem_secret_key_mut_60( Eurydice_arr_17 *serialized ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -234,6 +246,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_2f( Eurydice_arr_17 *serialized ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -609,6 +624,9 @@ typedef struct libcrux_ml_kem_mlkem512_portable_unpacked_MlKem512KeyPairUnpacked } libcrux_ml_kem_mlkem512_portable_unpacked_MlKem512KeyPairUnpacked; +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -625,6 +643,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_64( Eurydice_arr_30 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -641,6 +662,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_mut_11_64( Eurydice_arr_30 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -674,6 +698,9 @@ libcrux_ml_kem_ind_cca_serialize_kem_secret_key_mut_30( Eurydice_arr_7f *serialized ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -692,6 +719,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_6d( Eurydice_arr_7f *serialized ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -1067,6 +1097,9 @@ typedef struct libcrux_ml_kem_mlkem768_portable_unpacked_MlKem768KeyPairUnpacked } libcrux_ml_kem_mlkem768_portable_unpacked_MlKem768KeyPairUnpacked; +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -1096,6 +1129,9 @@ libcrux_ml_kem_ind_cca_unpacked_clone_d7_1b( const libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_a0 *self ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -1112,6 +1148,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_89( Eurydice_arr_74 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -1128,6 +1167,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_public_key_mut_11_89( Eurydice_arr_74 *serialized ); +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -1161,6 +1203,9 @@ libcrux_ml_kem_ind_cca_serialize_kem_secret_key_mut_d6( Eurydice_arr_ea *serialized ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -1179,6 +1224,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_43( Eurydice_arr_ea *serialized ); +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ diff --git a/out/test-libcrux/libcrux_core.c b/out/test-libcrux/libcrux_core.c index e96433e1..1021d5f8 100644 --- a/out/test-libcrux/libcrux_core.c +++ b/out/test-libcrux/libcrux_core.c @@ -421,6 +421,9 @@ Eurydice_arr_00 libcrux_ml_kem_types_from_51_af(Eurydice_arr_00 value) return value; } +/** + Create a new [`MlKemKeyPair`] from the secret and public key. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemKeyPair} */ @@ -508,6 +511,9 @@ Eurydice_arr_00 libcrux_ml_kem_types_from_19_af(Eurydice_arr_00 value) return value; } +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemPublicKey} */ @@ -521,6 +527,9 @@ const Eurydice_arr_00 *libcrux_ml_kem_types_as_slice_e6_af(const Eurydice_arr_00 return self; } +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemCiphertext} */ @@ -861,6 +870,9 @@ Eurydice_arr_74 libcrux_ml_kem_types_from_51_d0(Eurydice_arr_74 value) return value; } +/** + Create a new [`MlKemKeyPair`] from the secret and public key. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemKeyPair} */ @@ -979,6 +991,9 @@ Eurydice_arr_2c libcrux_ml_kem_types_from_19_80(Eurydice_arr_2c value) return value; } +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemPublicKey} */ @@ -1006,6 +1021,9 @@ Eurydice_borrow_slice_u8 Eurydice_array_to_slice_shared_45(const Eurydice_arr_74 return lit; } +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemCiphertext} */ @@ -1350,6 +1368,9 @@ Eurydice_arr_30 libcrux_ml_kem_types_from_51_4d(Eurydice_arr_30 value) return value; } +/** + Create a new [`MlKemKeyPair`] from the secret and public key. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemKeyPair} */ @@ -1516,6 +1537,9 @@ Eurydice_arr_56 libcrux_ml_kem_types_from_19_d0(Eurydice_arr_56 value) return value; } +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemPublicKey} */ @@ -1529,6 +1553,9 @@ const Eurydice_arr_30 *libcrux_ml_kem_types_as_slice_e6_4d(const Eurydice_arr_30 return self; } +/** + A reference to the raw byte slice. +*/ /** This function found in impl {libcrux_ml_kem::types::MlKemCiphertext} */ diff --git a/out/test-libcrux/libcrux_mlkem_avx2.c b/out/test-libcrux/libcrux_mlkem_avx2.c index d8318330..55a85488 100644 --- a/out/test-libcrux/libcrux_mlkem_avx2.c +++ b/out/test-libcrux/libcrux_mlkem_avx2.c @@ -2399,6 +2399,9 @@ libcrux_ml_kem_ind_cca_unpacked_unpack_public_key_fb1( unpacked_public_key->public_key_hash = uu____3; } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2584,6 +2587,9 @@ serialize_public_key_mut_ed( uint8_t); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2605,6 +2611,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_ed( serialized); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2642,6 +2651,9 @@ serialize_public_key_ed(const Eurydice_arr_9d *t_as_ntt, Eurydice_borrow_slice_u return public_key_serialized; } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2660,6 +2672,9 @@ serialized_dd_ed(const libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_63 Eurydice_array_to_slice_shared_6e(&self->ind_cpa_public_key.seed_for_A))); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2704,6 +2719,9 @@ serialize_unpacked_secret_key_ed( return (KRML_CLITERAL(tuple_af){ .fst = secret_key_serialized, .snd = public_key_serialized }); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2734,6 +2752,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_8c( serialized); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -3644,6 +3665,10 @@ add_to_ring_element_ab(Eurydice_arr_51 *myself, const Eurydice_arr_51 *rhs) myself->data[i0] = libcrux_ml_kem_vector_avx2_add_f5(myself->data[i0], &rhs->data[i0]);); } +/** + Given two polynomial ring elements `lhs` and `rhs`, compute the pointwise + sum of their constituent coefficients. +*/ /** This function found in impl {libcrux_ml_kem::polynomial::PolynomialRingElement[TraitClause@0, TraitClause@1]} */ @@ -6788,6 +6813,9 @@ serialize_public_key_mut_78( uint8_t); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6809,6 +6837,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_78( serialized); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6846,6 +6877,9 @@ serialize_public_key_78(const Eurydice_arr_c5 *t_as_ntt, Eurydice_borrow_slice_u return public_key_serialized; } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6864,6 +6898,9 @@ serialized_dd_78(const libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_39 Eurydice_array_to_slice_shared_6e(&self->ind_cpa_public_key.seed_for_A))); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6908,6 +6945,9 @@ serialize_unpacked_secret_key_1e( return (KRML_CLITERAL(tuple_ad){ .fst = secret_key_serialized, .snd = public_key_serialized }); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6938,6 +6978,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_c9( serialized); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -7424,6 +7467,10 @@ add_to_ring_element_42(Eurydice_arr_51 *myself, const Eurydice_arr_51 *rhs) myself->data[i0] = libcrux_ml_kem_vector_avx2_add_f5(myself->data[i0], &rhs->data[i0]);); } +/** + Given two polynomial ring elements `lhs` and `rhs`, compute the pointwise + sum of their constituent coefficients. +*/ /** This function found in impl {libcrux_ml_kem::polynomial::PolynomialRingElement[TraitClause@0, TraitClause@1]} */ @@ -9613,6 +9660,9 @@ serialize_public_key_mut_29( uint8_t); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9634,6 +9684,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_29( serialized); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9671,6 +9724,9 @@ serialize_public_key_29(const Eurydice_arr_d3 *t_as_ntt, Eurydice_borrow_slice_u return public_key_serialized; } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9689,6 +9745,9 @@ serialized_dd_29(const libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_94 Eurydice_array_to_slice_shared_6e(&self->ind_cpa_public_key.seed_for_A))); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9733,6 +9792,9 @@ serialize_unpacked_secret_key_ba( return (KRML_CLITERAL(tuple_0c){ .fst = secret_key_serialized, .snd = public_key_serialized }); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9763,6 +9825,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_2d( serialized); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -10254,6 +10319,10 @@ add_to_ring_element_89(Eurydice_arr_51 *myself, const Eurydice_arr_51 *rhs) myself->data[i0] = libcrux_ml_kem_vector_avx2_add_f5(myself->data[i0], &rhs->data[i0]);); } +/** + Given two polynomial ring elements `lhs` and `rhs`, compute the pointwise + sum of their constituent coefficients. +*/ /** This function found in impl {libcrux_ml_kem::polynomial::PolynomialRingElement[TraitClause@0, TraitClause@1]} */ diff --git a/out/test-libcrux/libcrux_mlkem_portable.c b/out/test-libcrux/libcrux_mlkem_portable.c index 17070d08..7867384b 100644 --- a/out/test-libcrux/libcrux_mlkem_portable.c +++ b/out/test-libcrux/libcrux_mlkem_portable.c @@ -2441,6 +2441,9 @@ serialize_public_key_mut_ff( uint8_t); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2462,6 +2465,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_ff( serialized); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2499,6 +2505,9 @@ serialize_public_key_ff(const Eurydice_arr_cf *t_as_ntt, Eurydice_borrow_slice_u return public_key_serialized; } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2517,6 +2526,9 @@ serialized_dd_ff(const libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_af Eurydice_array_to_slice_shared_6e(&self->ind_cpa_public_key.seed_for_A))); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2619,6 +2631,9 @@ libcrux_ml_kem_ind_cca_serialize_kem_secret_key_mut_60( uint8_t); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -2649,6 +2664,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_2f( serialized); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -3460,6 +3478,10 @@ add_to_ring_element_d0(Eurydice_arr_b9 *myself, const Eurydice_arr_b9 *rhs) myself->data[i0] = uu____0;); } +/** + Given two polynomial ring elements `lhs` and `rhs`, compute the pointwise + sum of their constituent coefficients. +*/ /** This function found in impl {libcrux_ml_kem::polynomial::PolynomialRingElement[TraitClause@0, TraitClause@1]} */ @@ -6408,6 +6430,9 @@ serialize_public_key_mut_64( uint8_t); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6429,6 +6454,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_64( serialized); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6466,6 +6494,9 @@ serialize_public_key_64(const Eurydice_arr_3d0 *t_as_ntt, Eurydice_borrow_slice_ return public_key_serialized; } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6484,6 +6515,9 @@ serialized_dd_64(const libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_d4 Eurydice_array_to_slice_shared_6e(&self->ind_cpa_public_key.seed_for_A))); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6586,6 +6620,9 @@ libcrux_ml_kem_ind_cca_serialize_kem_secret_key_mut_30( uint8_t); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6616,6 +6653,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_6d( serialized); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -6996,6 +7036,10 @@ add_to_ring_element_a0(Eurydice_arr_b9 *myself, const Eurydice_arr_b9 *rhs) myself->data[i0] = uu____0;); } +/** + Given two polynomial ring elements `lhs` and `rhs`, compute the pointwise + sum of their constituent coefficients. +*/ /** This function found in impl {libcrux_ml_kem::polynomial::PolynomialRingElement[TraitClause@0, TraitClause@1]} */ @@ -9084,6 +9128,9 @@ libcrux_ml_kem_ind_cca_unpacked_unpack_public_key_0a( unpacked_public_key->public_key_hash = uu____3; } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9230,6 +9277,9 @@ serialize_public_key_mut_89( uint8_t); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9251,6 +9301,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_mut_dd_89( serialized); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9288,6 +9341,9 @@ serialize_public_key_89(const Eurydice_arr_1d *t_as_ntt, Eurydice_borrow_slice_u return public_key_serialized; } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemPublicKeyUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9306,6 +9362,9 @@ serialized_dd_89(const libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_a0 Eurydice_array_to_slice_shared_6e(&self->ind_cpa_public_key.seed_for_A))); } +/** + Get the serialized public key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9408,6 +9467,9 @@ libcrux_ml_kem_ind_cca_serialize_kem_secret_key_mut_d6( uint8_t); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9438,6 +9500,9 @@ libcrux_ml_kem_ind_cca_unpacked_serialized_private_key_mut_11_43( serialized); } +/** + Get the serialized private key. +*/ /** This function found in impl {libcrux_ml_kem::ind_cca::unpacked::MlKemKeyPairUnpacked[TraitClause@0, TraitClause@1]} */ @@ -9806,6 +9871,10 @@ add_to_ring_element_1b(Eurydice_arr_b9 *myself, const Eurydice_arr_b9 *rhs) myself->data[i0] = uu____0;); } +/** + Given two polynomial ring elements `lhs` and `rhs`, compute the pointwise + sum of their constituent coefficients. +*/ /** This function found in impl {libcrux_ml_kem::polynomial::PolynomialRingElement[TraitClause@0, TraitClause@1]} */