Skip to content

Bump Charon #381

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Nadrieril merged 1 commit into from
Feb 24, 2026
Merged

Bump Charon #381

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 7 additions & 7 deletions flake.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

27 changes: 27 additions & 0 deletions out/test-libcrux-no-const/internal/libcrux_core.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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<PRIVATE_KEY_SIZE, PUBLIC_KEY_SIZE>}
*/
Expand Down Expand Up @@ -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<SIZE>}
*/
Expand All @@ -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<SIZE>}
*/
Expand Down Expand Up @@ -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<PRIVATE_KEY_SIZE, PUBLIC_KEY_SIZE>}
*/
Expand Down Expand Up @@ -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<SIZE>}
*/
Expand All @@ -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<SIZE>}
*/
Expand Down Expand Up @@ -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<PRIVATE_KEY_SIZE, PUBLIC_KEY_SIZE>}
*/
Expand Down Expand Up @@ -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<SIZE>}
*/
Expand All @@ -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<SIZE>}
*/
Expand Down
48 changes: 48 additions & 0 deletions out/test-libcrux-no-const/internal/libcrux_mlkem_avx2.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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<Vector, K>[TraitClause@0, TraitClause@1]}
*/
Expand Down Expand Up @@ -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<Vector, K>[TraitClause@0, TraitClause@1]}
*/
Expand All @@ -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<Vector, K>[TraitClause@0, TraitClause@1]}
*/
Expand All @@ -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<Vector, K>[TraitClause@0, TraitClause@1]}
*/
Expand All @@ -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<Vector, K>[TraitClause@0, TraitClause@1]}
*/
Expand All @@ -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<Vector, K>[TraitClause@0, TraitClause@1]}
*/
Expand Down Expand Up @@ -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<Vector, K>[TraitClause@0, TraitClause@1]}
*/
Expand All @@ -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<Vector, K>[TraitClause@0, TraitClause@1]}
*/
Expand All @@ -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<Vector, K>[TraitClause@0, TraitClause@1]}
*/
Expand All @@ -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<Vector, K>[TraitClause@0, TraitClause@1]}
*/
Expand All @@ -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<Vector, K>[TraitClause@0, TraitClause@1]}
*/
Expand Down Expand Up @@ -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<Vector, K>[TraitClause@0, TraitClause@1]}
*/
Expand All @@ -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<Vector, K>[TraitClause@0, TraitClause@1]}
*/
Expand All @@ -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<Vector, K>[TraitClause@0, TraitClause@1]}
*/
Expand All @@ -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<Vector, K>[TraitClause@0, TraitClause@1]}
*/
Expand All @@ -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<Vector, K>[TraitClause@0, TraitClause@1]}
*/
Expand Down
Loading