Libcrux secret independence

Cargo.toml

@@ -16,6 +16,7 @@ members = [
     "libcrux-hkdf",
     "libcrux-ecdh",
     "libcrux-psq",
+    "libcrux-secret-independence",
     "cavp",
 ]
 
@@ -79,7 +80,7 @@ getrandom = { version = "0.2", features = ["js"], optional = true }
 # This is only required when doing proofs.
 [target.'cfg(hax)'.dependencies]
 hax-lib-macros = { version = "0.1.0-alpha.1", git = "https://github.com/hacspec/hax", branch = "main" }
-hax-lib = { version = "0.1.0-alpha.1", git = "https://github.com/hacspec/hax/", branch = "main" }
+hax-lib = { version = "0.1.0-alpha.1", git = "https://github.com/hacspec/hax/", branch = "karthik/secret-integers" }
 
 [dev-dependencies]
 libcrux = { path = ".", features = ["rand", "tests"] }

benchmarks/benches/kyber768.rs

@@ -80,7 +80,7 @@ pub fn comparisons_pk_validation(c: &mut Criterion) {
         b.iter_batched(
             || libcrux_kem::deterministic::mlkem768_generate_keypair_derand(seed),
             |key_pair| {
-                let _valid = libcrux_kem::ml_kem768_validate_public_key(key_pair.into_parts().1);
+                let _valid = libcrux_kem::ml_kem768_validate_public_key(&key_pair.into_parts().1);
             },
             BatchSize::SmallInput,
         )

libcrux-intrinsics/Cargo.toml

@@ -11,6 +11,7 @@ description = "Libcrux intrinsics crate"
 exclude = ["/proofs"]
 
 [dependencies]
+libcrux-secret-independence = { version = "0.0.2-beta.2", path = "../libcrux-secret-independence" }
 
 [features]
 simd128 = []