Update dependencies
Some checks failed
hax / fstar-type-checking (push) Has been cancelled
proverif / proofs (push) Has been cancelled
CI / cargo test (push) Has been cancelled
CI / MSRV (push) Has been cancelled
CI / cross test polynomial i586 (push) Has been cancelled
CI / cross test polynomial i686 (push) Has been cancelled
CI / cross test polynomial aarch64 (push) Has been cancelled

This commit is contained in:
Rolfe Schmidt 2026-03-23 08:49:11 -07:00 committed by GitHub
parent 63d9b93634
commit f2589fef85
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 7 additions and 7 deletions

10
Cargo.lock generated
View File

@ -496,9 +496,9 @@ dependencies = [
[[package]]
name = "libcrux-ml-kem"
version = "0.0.7"
version = "0.0.8"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "aca7de713c6dddcf7aaf76e8ef9dc0097c8d7ce23a8eadf04c8761734714e184"
checksum = "a14ab3e477de9df6ee1273a114018ff62c4996ca9220070c4e5cb1743f94a67d"
dependencies = [
"hax-lib",
"libcrux-intrinsics",
@ -539,9 +539,9 @@ dependencies = [
[[package]]
name = "libcrux-sha3"
version = "0.0.7"
version = "0.0.8"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8c50f6e04a184511b782c5cc1eb6a227c6d36f2c935e93d698655a93a99696b5"
checksum = "b1ae0b7d0e1cc4793a609fd0ff2ca3b3a3fabae523770c619a3d4bc86417b0d7"
dependencies = [
"hax-lib",
"libcrux-intrinsics",
@ -1075,7 +1075,7 @@ checksum = "d372029cb5195f9ab4e4b9aef550787dce78b124fcaee8d82519925defcd6f0d"
[[package]]
name = "spqr"
version = "1.5.0"
version = "1.5.1"
dependencies = [
"cpufeatures",
"curve25519-dalek",

View File

@ -1,6 +1,6 @@
[package]
name = "spqr"
version = "1.5.0"
version = "1.5.1"
edition = "2021"
license = "AGPL-3.0-only"
rust-version = "1.83.0"
@ -13,7 +13,7 @@ displaydoc = "0.2"
hax-lib = "0.3.6"
hkdf = "0.12"
libcrux-hmac = "0.0.6"
libcrux-ml-kem = { version = "0.0.7", default-features = false, features = ["incremental", "mlkem768"] }
libcrux-ml-kem = { version = "0.0.8", default-features = false, features = ["incremental", "mlkem768"] }
log = "0.4.21"
num_enum = "0.7.3"
prost = "0.14.1"