Added a dummy Kyber implementation and test scaffolding (#438)

* Added Kyber768 consistency test using a dummy implementation of Kyber. * Added Kyber768 KAT tests. * Update default_config.cmake * Build libcrux separately in CMakeLists.txt * Don't build libcrux by default.
cryspen · Dec 6, 2023 · 6fda3af · 6fda3af
1 parent 8e7f025
commit 6fda3af
Show file tree

Hide file tree

Showing 13 changed files with 1,123 additions and 40 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -359,6 +359,13 @@ if(TOOLCHAIN_CAN_COMPILE_VEC256 AND HACL_VEC256_O)
     target_sources(hacl_static PRIVATE $<TARGET_OBJECTS:hacl_vec256>)
 endif()
 
+if(BUILD_LIBCRUX)
+    add_library(libcrux_static STATIC ${LIBCRUX_SOURCES})
+    if(NOT MSVC)
+        target_compile_options(libcrux_static PRIVATE -Wsign-conversion -Wconversion -Wall -Wextra -pedantic)
+    endif()
+endif()
+
 # Install
 # # This allows package maintainers to control the install destination by setting
 # # the appropriate cache variables.
@@ -482,6 +489,43 @@ if(ENABLE_TESTS)
                 ${PROJECT_SOURCE_DIR}/tests/${TEST_NAME} $<TARGET_FILE_DIR:${TEST_NAME}>)
         endif()
     endforeach()
+
+    if(BUILD_LIBCRUX)
+        foreach(TEST_FILE IN LISTS LIBCRUX_TEST_SOURCES)
+            get_filename_component(TEST_NAME ${TEST_FILE} NAME_WE)
+            add_executable(${TEST_NAME}
+                ${TEST_FILE}
+            )
+
+            # Coverage
+            if(ENABLE_COVERAGE)
+                target_compile_options(${TEST_NAME} PRIVATE -fprofile-instr-generate -fcoverage-mapping)
+                target_link_options(${TEST_NAME} PRIVATE -fprofile-instr-generate -fcoverage-mapping)
+            endif()
+
+            if(MSVC)
+                # MSVC needs a modern C++ for designated initializers.
+                target_compile_options(${TEST_NAME} PRIVATE /std:c++20)
+            endif(MSVC)
+
+            add_dependencies(${TEST_NAME} hacl hacl_cpu_features)
+            target_link_libraries(${TEST_NAME} PRIVATE
+                gtest_main
+                hacl_static
+                hacl_cpu_features
+                nlohmann_json::nlohmann_json
+                libcrux_static
+            )
+
+            if(EXISTS ${PROJECT_SOURCE_DIR}/tests/${TEST_NAME})
+                # Copy test input files. They must be in a directory with the same
+                # name as the test and get copied to the build directory.
+                add_custom_command(TARGET ${TEST_NAME} POST_BUILD
+                    COMMAND ${CMAKE_COMMAND} -E copy_directory
+                    ${PROJECT_SOURCE_DIR}/tests/${TEST_NAME} $<TARGET_FILE_DIR:${TEST_NAME}>)
+            endif()
+        endforeach()
+    endif()
 endif()
 
 # Benchmarks

diff --git a/README.md b/README.md
@@ -39,7 +39,7 @@ $ sudo pacman -S gcc
 
 <details>
   <summary><b>Fedora</b></summary>
-  
+
 ```sh
 $ sudo dnf install cmake ninja-build python3
 
@@ -51,7 +51,7 @@ $ sudo dnf install gcc
 
 <details>
   <summary><b>Ubuntu</b></summary>
-  
+
 ```sh
 $ sudo apt install cmake ninja-build python3
 

diff --git a/_build.sh b/_build.sh
@@ -6,5 +6,5 @@ printf " ! USE ./mach FOR MORE OPTIONS                 !\n\n"
 
 mkdir build
 cp config/default_config.cmake build/config.cmake
-cmake -B build -G"Ninja Multi-Config"
+cmake -B build -G"Ninja Multi-Config" -DBUILD_LIBCRUX=ON
 ninja -f build-Release.ninja -C build
diff --git a/config/config.json b/config/config.json
@@ -6,6 +6,9 @@
     "vale_include_paths": [
         "vale/include"
     ],
+    "libcrux_include_paths": [
+        "libcrux/include"
+    ],
     "hacl_sources": {
         "nacl": [
             {
@@ -337,6 +340,13 @@
             }
         ]
     },
+    "libcrux_sources": {
+        "kyber": [
+            {
+                "file": "Libcrux_Kem_Kyber_Kyber768.c"
+            }
+        ]
+    },
     "vale_sources": {
         "std": {
             "osx": [
@@ -509,6 +519,11 @@
             "aead.cc"
         ]
     },
+    "libcrux_tests": {
+        "kyber": [
+            "kyber.cc"
+        ]
+    },
     "benchmarks": {
         "blake2": [
             "blake.cc"

diff --git a/config/default_config.cmake b/config/default_config.cmake
@@ -6,8 +6,8 @@ set(SOURCES_std
 	${PROJECT_SOURCE_DIR}/src/Hacl_HMAC_DRBG.c
 	${PROJECT_SOURCE_DIR}/src/Hacl_HMAC.c
 	${PROJECT_SOURCE_DIR}/src/Hacl_Hash_SHA2.c
-	${PROJECT_SOURCE_DIR}/src/Hacl_Hash_Blake2b.c
 	${PROJECT_SOURCE_DIR}/src/Hacl_Hash_Blake2s.c
+	${PROJECT_SOURCE_DIR}/src/Hacl_Hash_Blake2b.c
 	${PROJECT_SOURCE_DIR}/src/Hacl_Ed25519.c
 	${PROJECT_SOURCE_DIR}/src/Hacl_EC_Ed25519.c
 	${PROJECT_SOURCE_DIR}/src/Hacl_Hash_Base.c
@@ -57,8 +57,8 @@ set(SOURCES_std
 set(SOURCES_vec256
 	${PROJECT_SOURCE_DIR}/src/Hacl_Hash_Blake2b_Simd256.c
 	${PROJECT_SOURCE_DIR}/src/Hacl_AEAD_Chacha20Poly1305_Simd256.c
-	${PROJECT_SOURCE_DIR}/src/Hacl_MAC_Poly1305_Simd256.c
 	${PROJECT_SOURCE_DIR}/src/Hacl_Chacha20_Vec256.c
+	${PROJECT_SOURCE_DIR}/src/Hacl_MAC_Poly1305_Simd256.c
 	${PROJECT_SOURCE_DIR}/src/Hacl_SHA2_Vec256.c
 	${PROJECT_SOURCE_DIR}/src/Hacl_HKDF_Blake2b_256.c
 	${PROJECT_SOURCE_DIR}/src/Hacl_HMAC_Blake2b_256.c
@@ -73,8 +73,8 @@ set(SOURCES_vec128
 	${PROJECT_SOURCE_DIR}/src/Hacl_Bignum64.c
 	${PROJECT_SOURCE_DIR}/src/Hacl_GenericField64.c
 	${PROJECT_SOURCE_DIR}/src/Hacl_AEAD_Chacha20Poly1305_Simd128.c
-	${PROJECT_SOURCE_DIR}/src/Hacl_MAC_Poly1305_Simd128.c
 	${PROJECT_SOURCE_DIR}/src/Hacl_Chacha20_Vec128.c
+	${PROJECT_SOURCE_DIR}/src/Hacl_MAC_Poly1305_Simd128.c
 	${PROJECT_SOURCE_DIR}/src/Hacl_SHA2_Vec128.c
 	${PROJECT_SOURCE_DIR}/src/Hacl_HKDF_Blake2s_128.c
 	${PROJECT_SOURCE_DIR}/src/Hacl_HMAC_Blake2s_128.c
@@ -112,16 +112,16 @@ set(INCLUDES
 	${PROJECT_SOURCE_DIR}/karamel/krmllib/dist/minimal/LowStar_Endianness.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Salsa20.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_MAC_Poly1305.h
+	${PROJECT_SOURCE_DIR}/include/Hacl_Streaming_Types.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Krmllib.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Curve25519_51.h
 	${PROJECT_SOURCE_DIR}/include/internal/Hacl_Krmllib.h
 	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Krmllib.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_HMAC_DRBG.h
-	${PROJECT_SOURCE_DIR}/include/Hacl_Streaming_Types.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_HMAC.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_SHA2.h
-	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_Blake2b.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_Blake2s.h
+	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_Blake2b.h
 	${PROJECT_SOURCE_DIR}/include/internal/Hacl_Ed25519.h
 	${PROJECT_SOURCE_DIR}/include/internal/Hacl_Hash_SHA2.h
 	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Hash_SHA2.h
@@ -138,14 +138,16 @@ set(INCLUDES
 	${PROJECT_SOURCE_DIR}/include/Hacl_EC_Ed25519.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_Base.h
 	${PROJECT_SOURCE_DIR}/include/internal/Hacl_Hash_Blake2b.h
-	${PROJECT_SOURCE_DIR}/include/internal/Hacl_Hash_Blake2s.h
 	${PROJECT_SOURCE_DIR}/include/internal/Hacl_Impl_Blake2_Constants.h
 	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Hash_Blake2b.h
-	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Hash_Blake2s.h
 	${PROJECT_SOURCE_DIR}/include/lib_memzero0.h
-	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_Blake2b_Simd256.h
+	${PROJECT_SOURCE_DIR}/include/internal/Hacl_Hash_Blake2s.h
+	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Hash_Blake2s.h
+	${PROJECT_SOURCE_DIR}/include/internal/Hacl_Hash_Blake2b_Simd256.h
+	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Hash_Blake2b_Simd256.h
 	${PROJECT_SOURCE_DIR}/include/libintvector.h
-	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_Blake2s_Simd128.h
+	${PROJECT_SOURCE_DIR}/include/internal/Hacl_Hash_Blake2s_Simd128.h
+	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Hash_Blake2s_Simd128.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Bignum256_32.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Bignum.h
 	${PROJECT_SOURCE_DIR}/include/internal/Hacl_Bignum.h
@@ -159,16 +161,16 @@ set(INCLUDES
 	${PROJECT_SOURCE_DIR}/include/Hacl_GenericField64.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_AEAD_Chacha20Poly1305.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Chacha20.h
+	${PROJECT_SOURCE_DIR}/include/internal/Hacl_MAC_Poly1305.h
+	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_MAC_Poly1305.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Chacha20_Vec32.h
 	${PROJECT_SOURCE_DIR}/include/internal/Hacl_Chacha20.h
 	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Chacha20.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_AEAD_Chacha20Poly1305_Simd128.h
-	${PROJECT_SOURCE_DIR}/include/Hacl_MAC_Poly1305_Simd128.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Chacha20_Vec128.h
 	${PROJECT_SOURCE_DIR}/include/internal/Hacl_MAC_Poly1305_Simd128.h
 	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_MAC_Poly1305_Simd128.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_AEAD_Chacha20Poly1305_Simd256.h
-	${PROJECT_SOURCE_DIR}/include/Hacl_MAC_Poly1305_Simd256.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Chacha20_Vec256.h
 	${PROJECT_SOURCE_DIR}/include/internal/Hacl_MAC_Poly1305_Simd256.h
 	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_MAC_Poly1305_Simd256.h
@@ -195,11 +197,15 @@ set(INCLUDES
 	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Hash_SHA1.h
 	${PROJECT_SOURCE_DIR}/include/internal/Hacl_Hash_MD5.h
 	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Hash_MD5.h
+	${PROJECT_SOURCE_DIR}/include/internal/Hacl_HMAC.h
+	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_HMAC.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_HKDF.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_HKDF_Blake2s_128.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_HMAC_Blake2s_128.h
+	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_Blake2s_Simd128.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_HKDF_Blake2b_256.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_HMAC_Blake2b_256.h
+	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_Blake2b_Simd256.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_RSAPSS.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_HPKE_Curve64_CP128_SHA256.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_HPKE_Interface_Hacl_Impl_HPKE_Hacl_Meta_HPKE.h
@@ -240,6 +246,8 @@ set(INCLUDES
 	${PROJECT_SOURCE_DIR}/include/EverCrypt_Cipher.h
 	${PROJECT_SOURCE_DIR}/include/EverCrypt_Chacha20Poly1305.h
 	${PROJECT_SOURCE_DIR}/include/EverCrypt_Poly1305.h
+	${PROJECT_SOURCE_DIR}/include/Hacl_MAC_Poly1305_Simd256.h
+	${PROJECT_SOURCE_DIR}/include/Hacl_MAC_Poly1305_Simd128.h
 	${PROJECT_SOURCE_DIR}/include/EverCrypt_AEAD.h
 	${PROJECT_SOURCE_DIR}/include/internal/Hacl_Hash_SHA3_Scalar.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_SHA3_Scalar.h
@@ -254,15 +262,15 @@ set(PUBLIC_INCLUDES
 	${PROJECT_SOURCE_DIR}/karamel/krmllib/dist/minimal/LowStar_Endianness.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Salsa20.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_MAC_Poly1305.h
+	${PROJECT_SOURCE_DIR}/include/Hacl_Streaming_Types.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Krmllib.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Curve25519_51.h
 	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Krmllib.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_HMAC_DRBG.h
-	${PROJECT_SOURCE_DIR}/include/Hacl_Streaming_Types.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_HMAC.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_SHA2.h
-	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_Blake2b.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_Blake2s.h
+	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_Blake2b.h
 	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Hash_SHA2.h
 	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Curve25519_51.h
 	${PROJECT_SOURCE_DIR}/include/lib_intrinsics.h
@@ -273,11 +281,11 @@ set(PUBLIC_INCLUDES
 	${PROJECT_SOURCE_DIR}/include/Hacl_EC_Ed25519.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_Base.h
 	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Hash_Blake2b.h
-	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Hash_Blake2s.h
 	${PROJECT_SOURCE_DIR}/include/lib_memzero0.h
-	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_Blake2b_Simd256.h
+	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Hash_Blake2s.h
+	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Hash_Blake2b_Simd256.h
 	${PROJECT_SOURCE_DIR}/include/libintvector.h
-	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_Blake2s_Simd128.h
+	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Hash_Blake2s_Simd128.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Bignum256_32.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Bignum.h
 	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Bignum.h
@@ -290,14 +298,13 @@ set(PUBLIC_INCLUDES
 	${PROJECT_SOURCE_DIR}/include/Hacl_GenericField64.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_AEAD_Chacha20Poly1305.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Chacha20.h
+	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_MAC_Poly1305.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Chacha20_Vec32.h
 	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Chacha20.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_AEAD_Chacha20Poly1305_Simd128.h
-	${PROJECT_SOURCE_DIR}/include/Hacl_MAC_Poly1305_Simd128.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Chacha20_Vec128.h
 	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_MAC_Poly1305_Simd128.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_AEAD_Chacha20Poly1305_Simd256.h
-	${PROJECT_SOURCE_DIR}/include/Hacl_MAC_Poly1305_Simd256.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Chacha20_Vec256.h
 	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_MAC_Poly1305_Simd256.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Curve25519_64.h
@@ -312,11 +319,14 @@ set(PUBLIC_INCLUDES
 	${PROJECT_SOURCE_DIR}/include/Hacl_SHA2_Vec256.h
 	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Hash_SHA1.h
 	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_Hash_MD5.h
+	${PROJECT_SOURCE_DIR}/include/internal/../Hacl_HMAC.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_HKDF.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_HKDF_Blake2s_128.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_HMAC_Blake2s_128.h
+	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_Blake2s_Simd128.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_HKDF_Blake2b_256.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_HMAC_Blake2b_256.h
+	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_Blake2b_Simd256.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_RSAPSS.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_HPKE_Curve64_CP128_SHA256.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_HPKE_Interface_Hacl_Impl_HPKE_Hacl_Meta_HPKE.h
@@ -353,6 +363,8 @@ set(PUBLIC_INCLUDES
 	${PROJECT_SOURCE_DIR}/include/EverCrypt_Cipher.h
 	${PROJECT_SOURCE_DIR}/include/EverCrypt_Chacha20Poly1305.h
 	${PROJECT_SOURCE_DIR}/include/EverCrypt_Poly1305.h
+	${PROJECT_SOURCE_DIR}/include/Hacl_MAC_Poly1305_Simd256.h
+	${PROJECT_SOURCE_DIR}/include/Hacl_MAC_Poly1305_Simd128.h
 	${PROJECT_SOURCE_DIR}/include/EverCrypt_AEAD.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_SHA3_Scalar.h
 	${PROJECT_SOURCE_DIR}/include/Hacl_Hash_SHA3_Simd256.h
@@ -388,6 +400,7 @@ set(INCLUDE_PATHS
 	${PROJECT_SOURCE_DIR}/karamel/include
 	${PROJECT_SOURCE_DIR}/karamel/krmllib/dist/minimal
 	${PROJECT_SOURCE_DIR}/vale/include
+	${PROJECT_SOURCE_DIR}/libcrux/include
 )
 set(TEST_SOURCES
 	${PROJECT_SOURCE_DIR}/tests/detection.cc
@@ -414,6 +427,7 @@ set(TEST_SOURCES
 	${PROJECT_SOURCE_DIR}/tests/nacl.cc
 	${PROJECT_SOURCE_DIR}/tests/evercrypt.cc
 	${PROJECT_SOURCE_DIR}/tests/aead.cc
+	${PROJECT_SOURCE_DIR}/tests/kyber.cc
 )
 set(BENCHMARK_SOURCES
 	${PROJECT_SOURCE_DIR}/benchmarks/blake.cc
@@ -460,6 +474,9 @@ set(VALE_SOURCES_msvc
 	${PROJECT_SOURCE_DIR}/vale/src/curve25519-x86_64-msvc.asm
 	${PROJECT_SOURCE_DIR}/vale/src/poly1305-x86_64-msvc.asm
 )
+set(LIBCRUX_SOURCES
+	${PROJECT_SOURCE_DIR}/libcrux/src/Libcrux_Kem_Kyber_Kyber768.c
+)
 set(ALGORITHM_TEST_FILES
 	TEST_FILES_detection
 	TEST_FILES_bignum
@@ -482,6 +499,7 @@ set(ALGORITHM_TEST_FILES
 	TEST_FILES_nacl
 	TEST_FILES_evercrypt
 	TEST_FILES_aead
+	TEST_FILES_kyber
 )
 set(TEST_FILES_detection
 	detection.cc
@@ -549,3 +567,6 @@ set(TEST_FILES_evercrypt
 set(TEST_FILES_aead
 	aead.cc
 )
+set(TEST_FILES_kyber
+	kyber.cc
+)
diff --git a/libcrux/include/Libcrux_Kem_Kyber_Kyber768.h b/libcrux/include/Libcrux_Kem_Kyber_Kyber768.h
@@ -0,0 +1,32 @@
+#ifndef __Libcrux_Kem_Kyber_Kyber768_H
+#define __Libcrux_Kem_Kyber_Kyber768_H
+
+#if defined(__cplusplus)
+extern "C"
+{
+#endif
+
+#include <inttypes.h>
+
+#define KYBER768_SECRETKEYBYTES 2400
+#define KYBER768_PUBLICKEYBYTES 1184
+#define KYBER768_CIPHERTEXTBYTES 1088
+#define KYBER768_SHAREDSECRETBYTES 32
+
+  int Libcrux_Kyber768_GenerateKeyPair(uint8_t* pk,
+                                       uint8_t* sk,
+                                       const uint8_t* randomness);
+  int Libcrux_Kyber768_Encapsulate(uint8_t* ct,
+                                   uint8_t* ss,
+                                   const uint8_t* pk,
+                                   const uint8_t* randomness);
+  int Libcrux_Kyber768_Decapsulate(uint8_t* ss,
+                                   const uint8_t* ct,
+                                   const uint8_t* sk);
+
+#if defined(__cplusplus)
+}
+#endif
+
+#define __Libcrux_Kem_Kyber_Kyber768_H_DEFINED
+#endif