Skip to content

Update charon #351

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
Nov 25, 2025
Merged

Update charon #351

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.

9 changes: 0 additions & 9 deletions libcrux-Cargo.lock
View file
Open in desktop

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

8 changes: 3 additions & 5 deletions out/test-libcrux/internal/libcrux_mlkem_portable.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -579,7 +579,7 @@ A monomorphic instance of libcrux_ml_kem.hash_functions.portable.shake128_init_a
with const generics
- K= 2
*/
Eurydice_arr_730
Eurydice_arr_73
libcrux_ml_kem_hash_functions_portable_shake128_init_absorb_final_4a_fd(
const Eurydice_arr_f9 *input
);
Expand All @@ -594,7 +594,7 @@ with const generics
*/
Eurydice_arr_31
libcrux_ml_kem_hash_functions_portable_shake128_squeeze_first_three_blocks_4a_fd(
Eurydice_arr_730 *self
Eurydice_arr_73 *self
);

/**
Expand All @@ -606,9 +606,7 @@ with const generics
- K= 2
*/
Eurydice_arr_dc0
libcrux_ml_kem_hash_functions_portable_shake128_squeeze_next_block_4a_fd(
Eurydice_arr_730 *self
);
libcrux_ml_kem_hash_functions_portable_shake128_squeeze_next_block_4a_fd(Eurydice_arr_73 *self);

/**
Generate an unpacked key from a serialized key.
Expand Down
2 changes: 1 addition & 1 deletion out/test-libcrux/libcrux_mlkem_avx2.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10019,7 +10019,7 @@ static KRML_MUSTINLINE Eurydice_arr_d3 sample_from_xof_b3(const Eurydice_arr_f9
{
Eurydice_arr_fb sampled_coefficients = { .data = { 0U } };
Eurydice_arr_d6 out = { .data = { { .data = { 0U } }, { .data = { 0U } } } };
Eurydice_arr_730
Eurydice_arr_73
xof_state = libcrux_ml_kem_hash_functions_portable_shake128_init_absorb_final_4a_fd(seeds);
Eurydice_arr_31
randomness0 =
Expand Down
18 changes: 8 additions & 10 deletions out/test-libcrux/libcrux_mlkem_portable.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6221,9 +6221,9 @@ A monomorphic instance of libcrux_ml_kem.hash_functions.portable.shake128_init_a
with const generics
- K= 2
*/
static inline Eurydice_arr_730 shake128_init_absorb_final_fd(const Eurydice_arr_f9 *input)
static inline Eurydice_arr_73 shake128_init_absorb_final_fd(const Eurydice_arr_f9 *input)
{
Eurydice_arr_730 shake128_state;
Eurydice_arr_73 shake128_state;
Eurydice_arr_26 repeat_expression[2U];
KRML_MAYBE_FOR2(i,
(size_t)0U,
Expand All @@ -6249,7 +6249,7 @@ A monomorphic instance of libcrux_ml_kem.hash_functions.portable.shake128_init_a
with const generics
- K= 2
*/
Eurydice_arr_730
Eurydice_arr_73
libcrux_ml_kem_hash_functions_portable_shake128_init_absorb_final_4a_fd(
const Eurydice_arr_f9 *input
)
Expand All @@ -6262,7 +6262,7 @@ A monomorphic instance of libcrux_ml_kem.hash_functions.portable.shake128_squeez
with const generics
- K= 2
*/
static inline Eurydice_arr_31 shake128_squeeze_first_three_blocks_fd(Eurydice_arr_730 *st)
static inline Eurydice_arr_31 shake128_squeeze_first_three_blocks_fd(Eurydice_arr_73 *st)
{
Eurydice_arr_31 out = { .data = { { .data = { 0U } }, { .data = { 0U } } } };
KRML_MAYBE_FOR2(i,
Expand All @@ -6285,7 +6285,7 @@ with const generics
*/
Eurydice_arr_31
libcrux_ml_kem_hash_functions_portable_shake128_squeeze_first_three_blocks_4a_fd(
Eurydice_arr_730 *self
Eurydice_arr_73 *self
)
{
return shake128_squeeze_first_three_blocks_fd(self);
Expand Down Expand Up @@ -6397,7 +6397,7 @@ A monomorphic instance of libcrux_ml_kem.hash_functions.portable.shake128_squeez
with const generics
- K= 2
*/
static inline Eurydice_arr_dc0 shake128_squeeze_next_block_fd(Eurydice_arr_730 *st)
static inline Eurydice_arr_dc0 shake128_squeeze_next_block_fd(Eurydice_arr_73 *st)
{
Eurydice_arr_dc0 out = { .data = { { .data = { 0U } }, { .data = { 0U } } } };
KRML_MAYBE_FOR2(i,
Expand All @@ -6419,9 +6419,7 @@ with const generics
- K= 2
*/
Eurydice_arr_dc0
libcrux_ml_kem_hash_functions_portable_shake128_squeeze_next_block_4a_fd(
Eurydice_arr_730 *self
)
libcrux_ml_kem_hash_functions_portable_shake128_squeeze_next_block_4a_fd(Eurydice_arr_73 *self)
{
return shake128_squeeze_next_block_fd(self);
}
Expand Down Expand Up @@ -6554,7 +6552,7 @@ static KRML_MUSTINLINE Eurydice_arr_3d0 sample_from_xof_2b0(const Eurydice_arr_f
{
Eurydice_arr_fb sampled_coefficients = { .data = { 0U } };
Eurydice_arr_d6 out = { .data = { { .data = { 0U } }, { .data = { 0U } } } };
Eurydice_arr_730
Eurydice_arr_73
xof_state = libcrux_ml_kem_hash_functions_portable_shake128_init_absorb_final_4a_fd(seeds);
Eurydice_arr_31
randomness0 =
Expand Down
2 changes: 1 addition & 1 deletion out/test-libcrux/libcrux_sha3_portable.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1927,7 +1927,7 @@ with types libcrux_sha3_portable_KeccakState
with const generics
- $2size_t
*/
typedef struct Eurydice_arr_730_s { Eurydice_arr_26 data[2U]; } Eurydice_arr_730;
typedef struct Eurydice_arr_73_s { Eurydice_arr_26 data[2U]; } Eurydice_arr_73;

#if defined(__cplusplus)
}
Expand Down