Merge pull request #401 from cryspen/jonas/modularize-psq

Modularized PSQ
cryspen · Jul 22, 2024 · 2daee9c · 2daee9c
2 parents b0a5da7 + b46e923
commit 2daee9c
Show file tree

Hide file tree

Showing 8 changed files with 673 additions and 369 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/libcrux-psq/Cargo.toml b/libcrux-psq/Cargo.toml
@@ -10,18 +10,19 @@ readme.workspace = true
 description = "Libcrux Pre-Shared post-Quantum key establishement protocol"
 publish = false
 
-[lib]
-path = "src/psq.rs"
-
 [dependencies]
-libcrux-kem = { version = "0.0.2-alpha.1", path = "../libcrux-kem", features = ["pre-verification"] }
+libcrux-kem = { version = "0.0.2-alpha.1", path = "../libcrux-kem", features = [
+    "pre-verification",
+] }
 libcrux-hkdf = { version = "=0.0.2-alpha.1", path = "../libcrux-hkdf" }
 libcrux-hmac = { version = "=0.0.2-alpha.1", path = "../libcrux-hmac" }
 classic-mceliece-rust = { version = "2.0.0", features = [
     "mceliece460896f",
     "zeroize",
 ] }
 rand = { version = "0.8" }
+libcrux-ecdh = { version = "0.0.2-alpha.1", path = "../libcrux-ecdh" }
+libcrux = { version = "0.0.2-alpha.1", path = ".." }
 
 [dev-dependencies]
 criterion = "0.5"