Skip to content
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

fixing code to address review comments #705

Merged
merged 7 commits into from
Dec 5, 2024
Merged

fixing code to address review comments #705

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
fe49cc5
fixing code to address review comments
karthikbhargavan Dec 3, 2024
0e587d6
assert to help proofs
karthikbhargavan Dec 3, 2024
cbc0d48
fmt
karthikbhargavan Dec 3, 2024
fbef364
c code refresh
karthikbhargavan Dec 3, 2024
98f9a92
c code
karthikbhargavan Dec 3, 2024
294c580
fstar
karthikbhargavan Dec 3, 2024
83a72e7
fstar
karthikbhargavan Dec 3, 2024
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
12 changes: 6 additions & 6 deletions Cargo.lock
View file
Open in desktop

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

4 changes: 2 additions & 2 deletions fstar-helpers/fstar-bitvec/BitVecEq.fsti
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
module BitVecEq
#set-options "--fuel 0 --ifuel 1 --z3rlimit 15"
#set-options "--fuel 0 --ifuel 1 --z3rlimit 100"
open Core
open FStar.Mul
open MkSeq
Expand Down Expand Up @@ -72,7 +72,7 @@ let int_t_array_bitwise_eq
// else get_bit_nat (pow2 (bits n) + v x) (v nth))
// with get_bit_intro #n x nth

#push-options "--fuel 0 --ifuel 0 --z3rlimit 80"
#push-options "--fuel 0 --ifuel 0 --z3rlimit 150"
/// Rewrite a `bit_vec_of_int_t_array (Seq.slice arr ...)` into a `bit_vec_sub ...`
let int_t_seq_slice_to_bv_sub_lemma #t #n
(arr: t_Array (int_t t) n)
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/code_gen.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,5 +2,5 @@ This code was generated with the following revisions:
Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
F*: 5643e656b989aca7629723653a2570c7df6252b9
Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/internal/libcrux_core.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#ifndef __internal_libcrux_core_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/internal/libcrux_mlkem_avx2.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#ifndef __internal_libcrux_mlkem_avx2_H
Expand Down
6 changes: 3 additions & 3 deletions libcrux-ml-kem/c/internal/libcrux_mlkem_portable.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#ifndef __internal_libcrux_mlkem_portable_H
Expand All @@ -23,7 +23,7 @@ extern "C" {
#include "internal/libcrux_core.h"
#include "internal/libcrux_sha3_internal.h"

int16_t libcrux_ml_kem_polynomial_get_zeta(size_t i);
int16_t libcrux_ml_kem_polynomial_zeta(size_t i);

#define LIBCRUX_ML_KEM_POLYNOMIAL_VECTORS_IN_RING_ELEMENT \
(LIBCRUX_ML_KEM_CONSTANTS_COEFFICIENTS_IN_RING_ELEMENT / \
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/internal/libcrux_sha3_avx2.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#ifndef __internal_libcrux_sha3_avx2_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/internal/libcrux_sha3_internal.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#ifndef __internal_libcrux_sha3_internal_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/libcrux_core.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#include "internal/libcrux_core.h"
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/libcrux_core.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#ifndef __libcrux_core_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/libcrux_mlkem1024.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#ifndef __libcrux_mlkem1024_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/libcrux_mlkem1024_avx2.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#include "libcrux_mlkem1024_avx2.h"
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/libcrux_mlkem1024_avx2.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#ifndef __libcrux_mlkem1024_avx2_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/libcrux_mlkem1024_portable.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#include "libcrux_mlkem1024_portable.h"
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/libcrux_mlkem1024_portable.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#ifndef __libcrux_mlkem1024_portable_H
Expand Down
64 changes: 43 additions & 21 deletions libcrux-ml-kem/c/libcrux_mlkem512.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#ifndef __libcrux_mlkem512_H
Expand All @@ -21,28 +21,52 @@ extern "C" {
#include "eurydice_glue.h"
#include "libcrux_core.h"

#define LIBCRUX_ML_KEM_MLKEM512_C1_BLOCK_SIZE_512 ((size_t)320U)
#define LIBCRUX_ML_KEM_MLKEM512_VECTOR_U_COMPRESSION_FACTOR_512 ((size_t)10U)

#define LIBCRUX_ML_KEM_MLKEM512_C1_BLOCK_SIZE_512 \
(LIBCRUX_ML_KEM_CONSTANTS_COEFFICIENTS_IN_RING_ELEMENT * \
LIBCRUX_ML_KEM_MLKEM512_VECTOR_U_COMPRESSION_FACTOR_512 / (size_t)8U)

#define LIBCRUX_ML_KEM_MLKEM512_RANK_512 ((size_t)2U)

#define LIBCRUX_ML_KEM_MLKEM512_C1_SIZE_512 \
(LIBCRUX_ML_KEM_MLKEM512_C1_BLOCK_SIZE_512 * LIBCRUX_ML_KEM_MLKEM512_RANK_512)

#define LIBCRUX_ML_KEM_MLKEM512_VECTOR_V_COMPRESSION_FACTOR_512 ((size_t)4U)

#define LIBCRUX_ML_KEM_MLKEM512_C1_SIZE_512 ((size_t)640U)
#define LIBCRUX_ML_KEM_MLKEM512_C2_SIZE_512 \
(LIBCRUX_ML_KEM_CONSTANTS_COEFFICIENTS_IN_RING_ELEMENT * \
LIBCRUX_ML_KEM_MLKEM512_VECTOR_V_COMPRESSION_FACTOR_512 / (size_t)8U)

#define LIBCRUX_ML_KEM_MLKEM512_C2_SIZE_512 ((size_t)128U)
#define LIBCRUX_ML_KEM_MLKEM512_CPA_PKE_CIPHERTEXT_SIZE_512 \
(LIBCRUX_ML_KEM_MLKEM512_C1_SIZE_512 + LIBCRUX_ML_KEM_MLKEM512_C2_SIZE_512)

#define LIBCRUX_ML_KEM_MLKEM512_CPA_PKE_CIPHERTEXT_SIZE_512 ((size_t)768U)
#define LIBCRUX_ML_KEM_MLKEM512_T_AS_NTT_ENCODED_SIZE_512 \
(LIBCRUX_ML_KEM_MLKEM512_RANK_512 * \
LIBCRUX_ML_KEM_CONSTANTS_COEFFICIENTS_IN_RING_ELEMENT * \
LIBCRUX_ML_KEM_CONSTANTS_BITS_PER_COEFFICIENT / (size_t)8U)

#define LIBCRUX_ML_KEM_MLKEM512_CPA_PKE_PUBLIC_KEY_SIZE_512 ((size_t)800U)
#define LIBCRUX_ML_KEM_MLKEM512_CPA_PKE_PUBLIC_KEY_SIZE_512 \
(LIBCRUX_ML_KEM_MLKEM512_T_AS_NTT_ENCODED_SIZE_512 + (size_t)32U)

#define LIBCRUX_ML_KEM_MLKEM512_CPA_PKE_SECRET_KEY_SIZE_512 ((size_t)768U)
#define LIBCRUX_ML_KEM_MLKEM512_CPA_PKE_SECRET_KEY_SIZE_512 \
(LIBCRUX_ML_KEM_MLKEM512_RANK_512 * \
LIBCRUX_ML_KEM_CONSTANTS_COEFFICIENTS_IN_RING_ELEMENT * \
LIBCRUX_ML_KEM_CONSTANTS_BITS_PER_COEFFICIENT / (size_t)8U)

#define LIBCRUX_ML_KEM_MLKEM512_ETA1 ((size_t)3U)

#define LIBCRUX_ML_KEM_MLKEM512_ETA1_RANDOMNESS_SIZE ((size_t)192U)
#define LIBCRUX_ML_KEM_MLKEM512_ETA1_RANDOMNESS_SIZE \
(LIBCRUX_ML_KEM_MLKEM512_ETA1 * (size_t)64U)

#define LIBCRUX_ML_KEM_MLKEM512_ETA2 ((size_t)2U)

#define LIBCRUX_ML_KEM_MLKEM512_ETA2_RANDOMNESS_SIZE ((size_t)128U)
#define LIBCRUX_ML_KEM_MLKEM512_ETA2_RANDOMNESS_SIZE \
(LIBCRUX_ML_KEM_MLKEM512_ETA2 * (size_t)64U)

#define LIBCRUX_ML_KEM_MLKEM512_IMPLICIT_REJECTION_HASH_INPUT_SIZE \
((size_t)800U)
(LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE + \
LIBCRUX_ML_KEM_MLKEM512_CPA_PKE_CIPHERTEXT_SIZE_512)

typedef libcrux_ml_kem_types_MlKemCiphertext_1a
libcrux_ml_kem_mlkem512_MlKem512Ciphertext;
Expand All @@ -56,17 +80,15 @@ typedef libcrux_ml_kem_types_MlKemPrivateKey_fa
typedef libcrux_ml_kem_types_MlKemPublicKey_52
libcrux_ml_kem_mlkem512_MlKem512PublicKey;

#define LIBCRUX_ML_KEM_MLKEM512_RANKED_BYTES_PER_RING_ELEMENT_512 ((size_t)768U)
#define LIBCRUX_ML_KEM_MLKEM512_RANKED_BYTES_PER_RING_ELEMENT_512 \
(LIBCRUX_ML_KEM_MLKEM512_RANK_512 * \
LIBCRUX_ML_KEM_CONSTANTS_BITS_PER_RING_ELEMENT / (size_t)8U)

#define LIBCRUX_ML_KEM_MLKEM512_RANK_512 ((size_t)2U)

#define LIBCRUX_ML_KEM_MLKEM512_SECRET_KEY_SIZE_512 ((size_t)1632U)

#define LIBCRUX_ML_KEM_MLKEM512_T_AS_NTT_ENCODED_SIZE_512 ((size_t)768U)

#define LIBCRUX_ML_KEM_MLKEM512_VECTOR_U_COMPRESSION_FACTOR_512 ((size_t)10U)

#define LIBCRUX_ML_KEM_MLKEM512_VECTOR_V_COMPRESSION_FACTOR_512 ((size_t)4U)
#define LIBCRUX_ML_KEM_MLKEM512_SECRET_KEY_SIZE_512 \
(LIBCRUX_ML_KEM_MLKEM512_CPA_PKE_SECRET_KEY_SIZE_512 + \
LIBCRUX_ML_KEM_MLKEM512_CPA_PKE_PUBLIC_KEY_SIZE_512 + \
LIBCRUX_ML_KEM_CONSTANTS_H_DIGEST_SIZE + \
LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE)

#if defined(__cplusplus)
}
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/libcrux_mlkem512_avx2.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#include "libcrux_mlkem512_avx2.h"
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/libcrux_mlkem512_avx2.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#ifndef __libcrux_mlkem512_avx2_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/libcrux_mlkem512_portable.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#include "libcrux_mlkem512_portable.h"
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/libcrux_mlkem512_portable.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#ifndef __libcrux_mlkem512_portable_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/libcrux_mlkem768.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#ifndef __libcrux_mlkem768_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/libcrux_mlkem768_avx2.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#include "libcrux_mlkem768_avx2.h"
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/libcrux_mlkem768_avx2.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#ifndef __libcrux_mlkem768_avx2_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/libcrux_mlkem768_portable.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#include "libcrux_mlkem768_portable.h"
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/c/libcrux_mlkem768_portable.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
* Eurydice: e2db6e88adc9995ca9d3dedf7fa9bc4095e9ca20
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: 3e54f3c659bef6ee815d197ee5c74dd40c75186a
* F*: 5643e656b989aca7629723653a2570c7df6252b9
* Libcrux: fbef3649fa222b800fc7dcc349855bcd7de48e36
*/

#ifndef __libcrux_mlkem768_portable_H
Expand Down
Loading
Loading