Merge pull request #35 from cryspen/jonas/mainline-sync

Sync with mainline `libcrux`
cryspen · Jan 14, 2025 · 26eab9d · 26eab9d
2 parents f2cff84 + 2199f21
commit 26eab9d
Show file tree

Hide file tree

Showing 136 changed files with 14,473 additions and 11,165 deletions.
diff --git a/libcrux-nrf52810/src/bin/mldsa_sign.rs b/libcrux-nrf52810/src/bin/mldsa_sign.rs
@@ -248,7 +248,7 @@ fn main() -> ! {
     use libcrux_ml_dsa::MLDSASigningKey;
     let signing_randomness = [4u8; 32];
     let message = [5u8; 2];
-    let _signature = mldsa::sign(&MLDSASigningKey(SK), &message, b"", signing_randomness).unwrap();
+    let _signature = mldsa::sign(&MLDSASigningKey::new(SK), &message, b"", signing_randomness).unwrap();
 
     board::exit()
 }
diff --git a/libcrux-nrf52810/src/bin/mldsa_verify.rs b/libcrux-nrf52810/src/bin/mldsa_verify.rs
@@ -367,10 +367,10 @@ fn main() -> ! {
     use libcrux_ml_dsa::{MLDSASignature, MLDSAVerificationKey};
     let message = [5u8; 2];
     let _ = mldsa::verify(
-        &MLDSAVerificationKey(VK),
+        &MLDSAVerificationKey::new(VK),
         &message,
         b"",
-        &MLDSASignature(SIGNATURE),
+        &MLDSASignature::new(SIGNATURE),
     )
     .unwrap();
 

diff --git a/libcrux-testbench/Cargo.toml b/libcrux-testbench/Cargo.toml
@@ -9,6 +9,7 @@ libcrux-ml-kem = { path = "../libcrux/libcrux-ml-kem", default-features = false,
 libcrux-iot-testutil = { path = "../libcrux-iot-testutil" }
 
 [features]
+default = ["mldsa87", "mlkem1024"]
 mldsa44 = []
 mldsa65 = []
 mldsa87 = []

diff --git a/libcrux/libcrux-intrinsics/Cargo.toml b/libcrux/libcrux-intrinsics/Cargo.toml
@@ -10,6 +10,7 @@ description = "Libcrux-IoT intrinsics crate"
 exclude = ["/proofs"]
 
 [dependencies]
+hax-lib = { version = "0.1.0-alpha.1", git = "https://github.com/hacspec/hax/" }
 
 [features]
 simd128 = []