Downgrade for testing only.

Up versions again.
Update F* version.
2026-02-20 11:45:24 -08:00 · 2026-02-20 11:44:39 -08:00 · 2026-02-20 11:42:37 -08:00 · 2026-02-20 11:42:37 -08:00 · 2026-02-20 11:42:37 -08:00 · 2026-02-20 11:42:35 -08:00
3 changed files with 18 additions and 18 deletions
--- a/Cargo.lock
+++ b/Cargo.lock
@ -465,9 +465,9 @@ dependencies = [

 [[package]]
 name = "libcrux-hmac"
-version = "0.0.6"
+version = "0.0.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "8a7a242707d65960770bd7e14e4f18a92bdf0b967777dd404887db8d087a643b"
+checksum = "3d081af93c27d7cebc9a8cc4b3720cba5411186297f9adeddf853d994bba4e7b"
 dependencies = [
 "libcrux-hacl-rs",
 "libcrux-macros",
@ -476,9 +476,9 @@ dependencies = [

 [[package]]
 name = "libcrux-intrinsics"
-version = "0.0.6"
+version = "0.0.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b1b5db005ff8001e026b73a6842ee81bbef8ec5ff0e1915a67ae65fd2a9fafa5"
+checksum = "0aa4779454e853d1de200cd12f19a8185aac47d99a5ec404cea3295c943d48f1"
 dependencies = [
 "core-models",
 "hax-lib",
@ -496,9 +496,9 @@ dependencies = [

 [[package]]
 name = "libcrux-ml-kem"
-version = "0.0.8"
+version = "0.0.6"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a14ab3e477de9df6ee1273a114018ff62c4996ca9220070c4e5cb1743f94a67d"
+checksum = "a930ff130a63e9d89648d0e22203ca034995191cbfa606b9f3c151ba67306963"
 dependencies = [
 "hax-lib",
 "libcrux-intrinsics",
@ -528,9 +528,9 @@ dependencies = [

 [[package]]
 name = "libcrux-sha2"
-version = "0.0.6"
+version = "0.0.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e9d253473f259fc74a280c43f29c464f7e374abdf28b4942234dc707f529d4b7"
+checksum = "5a9b200262e529493e459609895f3a02434eadb58897352236ebde491b5d6d87"
 dependencies = [
 "libcrux-hacl-rs",
 "libcrux-macros",
@ -539,9 +539,9 @@ dependencies = [

 [[package]]
 name = "libcrux-sha3"
-version = "0.0.8"
+version = "0.0.6"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b1ae0b7d0e1cc4793a609fd0ff2ca3b3a3fabae523770c619a3d4bc86417b0d7"
+checksum = "e3dabce2795479bd7294f853f7966a678cadf7a26d3d29f61cf15f5123e7ba4f"
 dependencies = [
 "hax-lib",
 "libcrux-intrinsics",
@ -551,9 +551,9 @@ dependencies = [

 [[package]]
 name = "libcrux-traits"
-version = "0.0.6"
+version = "0.0.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "812e4fa89f3f5e34b47f928b22b1b78395a0d4ec23b1f583db635f128159d65f"
+checksum = "695ff2fb97627e4d57315a2fdfbfe50df1c80c6ef7d91ba34216169bd6f41c00"
 dependencies = [
 "libcrux-secrets",
 "rand 0.9.1",
@ -1075,7 +1075,7 @@ checksum = "d372029cb5195f9ab4e4b9aef550787dce78b124fcaee8d82519925defcd6f0d"

 [[package]]
 name = "spqr"
-version = "1.5.1"
+version = "1.4.0"
 dependencies = [
 "cpufeatures",
 "curve25519-dalek",
--- a/Cargo.toml
+++ b/Cargo.toml
@ -1,6 +1,6 @@
 [package]
 name = "spqr"
-version = "1.5.1"
+version = "1.4.0"
 edition = "2021"
 license = "AGPL-3.0-only"
 rust-version = "1.83.0"
@ -12,8 +12,8 @@ curve25519-dalek = { version = "4.1.3", features = ["rand_core"] }
 displaydoc = "0.2"
 hax-lib = "0.3.6"
 hkdf = "0.12"
-libcrux-hmac = "0.0.6"
-libcrux-ml-kem = { version = "0.0.8", default-features = false, features = ["incremental", "mlkem768"] }
+libcrux-hmac = "0.0.5"
+libcrux-ml-kem = { version = "0.0.6", default-features = false, features = ["incremental", "mlkem768"] }
 log = "0.4.21"
 num_enum = "0.7.3"
 prost = "0.14.1"
--- a/src/encoding/gf.rs
+++ b/src/encoding/gf.rs
@ -271,7 +271,7 @@ mod accelerated {
    }

    #[inline]
-    #[target_feature(enable = "neon,aes")]
+    #[target_feature(enable = "neon")]
    unsafe fn mul2_unreduced(a: u16, b1: u16, b2: u16) -> u128 {
        aarch64::vmull_p64(a as u64, ((b1 as u64) << 32) | (b2 as u64))
    }
@ -591,8 +591,8 @@ impl GF16 {
 #[cfg(test)]
 mod test {
    use super::*;
-    use galois_field_2pm::GaloisField;
    use galois_field_2pm::gf2::GFu16;
+    use galois_field_2pm::GaloisField;
    use rand::RngCore;

    // https://web.eecs.utk.edu/~jplank/plank/papers/CS-07-593/primitive-polynomial-table.txt
Author	SHA1	Message	Date
Graeme Connell	49f675f079	Downgrade for testing only. Some checks failed hax / fstar-type-checking (push) Has been cancelled Details proverif / proofs (push) Has been cancelled Details CI / cargo test (push) Has been cancelled Details CI / MSRV (push) Has been cancelled Details CI / cross test polynomial i586 (push) Has been cancelled Details CI / cross test polynomial i686 (push) Has been cancelled Details CI / cross test polynomial aarch64 (push) Has been cancelled Details	2026-02-20 11:45:24 -08:00
Graeme Connell	8749ac6e71	Up versions again.	2026-02-20 11:44:39 -08:00
maximebuyse	5bcad26db1	Update F* version.	2026-02-20 11:42:37 -08:00
Maxime Buyse	da0f68a9bd	Fix clippy warning.	2026-02-20 11:42:37 -08:00
Maxime Buyse	2927421707	Use latest hax.	2026-02-20 11:42:37 -08:00
Maxime Buyse	6c7cf4adc5	Update hax and libcrux versions.	2026-02-20 11:42:35 -08:00
Maxime Buyse	a7e4836318	Refactor hax proofs to return errors when length is wrong instead of hacing assumption.	2026-02-20 11:41:45 -08:00
Maxime Buyse	1e87dcb53c	Replace hax assumes by real checks.	2026-02-20 11:41:45 -08:00
Maxime Buyse	314861183e	Temporarily use hax from the right branch.	2026-02-20 11:41:45 -08:00
Maxime Buyse	fbb863fbf8	Remove admit thanks to new model of while loops.	2026-02-20 11:41:45 -08:00
Maxime Buyse	63b6289685	Right assumptions on pts_needed.	2026-02-20 11:41:45 -08:00
Maxime Buyse	6e1bdbb1ae	Replace 'concat' for proofs.	2026-02-20 11:41:45 -08:00
Maxime Buyse	a2bc2afab1	Use split_off instead of drain.	2026-02-20 11:41:45 -08:00
Maxime Buyse	b63843a32e	Improve proofs with refinement types.	2026-02-20 11:41:45 -08:00