making it work

cryspen · Dec 13, 2023 · 5b5dd81 · 5b5dd81
1 parent 59c972d
commit 5b5dd81
Show file tree

Hide file tree

Showing 6 changed files with 2,516 additions and 3,308 deletions.
diff --git a/benchmarks/kyber.cc b/benchmarks/kyber.cc
@@ -19,7 +19,7 @@ kyber768_key_generation(benchmark::State& state)
   uint8_t secret_key[KYBER768_SECRETKEYBYTES];
 
   for (auto _ : state) {
-      Libcrux_Kyber768_GenerateKeyPair(public_key, secret_key, randomness);
+    Libcrux_Kyber768_GenerateKeyPair(public_key, secret_key, randomness);
   }
 }
 
@@ -38,8 +38,8 @@ kyber768_encapsulation(benchmark::State& state)
   Libcrux_Kyber768_GenerateKeyPair(public_key, secret_key, randomness);
 
   for (auto _ : state) {
-      Libcrux_Kyber768_Encapsulate(
-        ciphertext, sharedSecret, &public_key, randomness);
+    Libcrux_Kyber768_Encapsulate(
+      ciphertext, sharedSecret, &public_key, randomness);
   }
 }
 
@@ -62,7 +62,7 @@ kyber768_decapsulation(benchmark::State& state)
     ciphertext, sharedSecret, &public_key, randomness);
 
   for (auto _ : state) {
-      Libcrux_Kyber768_Decapsulate(sharedSecret, &ciphertext, &secret_key);
+    Libcrux_Kyber768_Decapsulate(sharedSecret, &ciphertext, &secret_key);
   }
 }
 

diff --git a/libcrux/include/Eurydice.h b/libcrux/include/Eurydice.h
@@ -2,7 +2,7 @@
   This file was generated by KaRaMeL <https://github.com/FStarLang/karamel>
   KaRaMeL invocation: /Users/franziskus/repos/eurydice//eurydice ../libcrux_kyber.llbc
   F* version: d0aa54cf
-  KaRaMeL version: b329675d
+  KaRaMeL version: 8e0595bd
  */
 
 #ifndef __Eurydice_H