PSQ prototype: Use optimized KEMs

libcrux-psq/Cargo.toml

@@ -12,7 +12,7 @@ readme.workspace = true
 path = "src/psq.rs"
 
 [dependencies]
-libcrux-kem = { version = "0.0.2-alpha.1", path = "../libcrux-kem" }
+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 = [

libcrux-psq/README.md

@@ -22,11 +22,26 @@ Where
 
 The crate implements the protocol based on several different internal
 KEMs:
- * `X25519`, an elliptic-curve Diffie-Hellman KEM (not post-quantum
- secure; for performance comparison)
- * `ML-KEM 768`, a lattice-based post-quantum KEM, in the process
- of being standardized by NIST
- * `Classic McEliece`, a code-based post-quantum KEM & Round 4
- candidate in the NIST PQ competition,
- * `XWingKemDraft02`, a hybrid post-quantum KEM, combining `X25519`
- and `ML-KEM 768` based KEMs
+* `X25519`, an elliptic-curve Diffie-Hellman KEM (not post-quantum
+ secure; for performance comparison)
+* `ML-KEM 768`, a lattice-based post-quantum KEM, in the process
+ of being standardized by NIST
+* `Classic McEliece`, a code-based post-quantum KEM & Round 4
+ candidate in the NIST PQ competition,
+* `XWingKemDraft02`, a hybrid post-quantum KEM, combining `X25519`
+ and `ML-KEM 768` based KEMs
+
+For x25519 and ML-KEM, we use `libcrux`'s optimized implementations,
+the Classic McEliece-based protocol uses crate
+[`classic-mceliece-rust`](https://crates.io/crates/classic-mceliece-rust).
+
+# Running benchmarks
+To run a set of benchmarks comparing the underlying KEMs run
+```sh
+cargo bench
+```
+
+To get a comparison of public key and message sizes in bytes run
+```sh
+cargo run --example sizes
+```