Stowage/SparsePostQuantumRatchet
2
0
Fork 0
mirror of https://github.com/signalapp/SparsePostQuantumRatchet.git synced 2025-12-07 21:59:47 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Bump libcrux deps to the latest version

Browse source
This commit is contained in:
Alex Bakon 2025-10-02 13:13:34 -04:00 • committed by GitHub
parent 2086a70990
commit ff78d035d9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 68 additions and 112 deletions
Download patch file Download diff file Expand all files Collapse all files

174
Cargo.lock generated
View file

@ -59,6 +59,17 @@ version = "1.0.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd"
[[package]]
name = "core-models"
version = "0.0.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "94950e87ea550d6d68f1993f3e7bebc8cb7235157bff84337d46195c3aa0b3f0"
dependencies = [
"hax-lib",
"pastey",
"rand 0.9.1",
]
[[package]]
name = "cpufeatures"
version = "0.2.17"
@ -102,7 +113,7 @@ checksum = "f46882e17999c6cc590af592290432be3bce0428cb0d5f8b6715e4dc7b383eb3"
dependencies = [
"proc-macro2",
"quote",
"syn 2.0.100",
"syn",
]
[[package]]
@ -124,7 +135,7 @@ checksum = "97369cbbc041bc366949bc74d34658d6cda5621039731c6310521892a3a20ae0"
dependencies = [
"proc-macro2",
"quote",
"syn 2.0.100",
"syn",
]
[[package]]
@ -215,66 +226,28 @@ version = "0.15.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bf151400ff0baff5465007dd2f3e717f3fe502074ca563069ce3a6629d07b289"
[[package]]
name = "hax-lib"
version = "0.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "61933dbb676f11311378720e1ee97a511813edb7044255381ba0d625cac6be7b"
dependencies = [
"hax-lib-macros 0.2.0",
"num-bigint",
"num-traits",
]
[[package]]
name = "hax-lib"
version = "0.3.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "74d9ba66d1739c68e0219b2b2238b5c4145f491ebf181b9c6ab561a19352ae86"
dependencies = [
"hax-lib-macros 0.3.5",
"hax-lib-macros",
"num-bigint",
"num-traits",
]
[[package]]
name = "hax-lib-macros"
version = "0.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7ba3a8d32921c3f535e973f72053d20bc8c7f74028911a269748440952157807"
dependencies = [
"hax-lib-macros-types 0.2.0",
"paste",
"proc-macro-error",
"proc-macro2",
"quote",
"syn 2.0.100",
]
[[package]]
name = "hax-lib-macros"
version = "0.3.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "24ba777a231a58d1bce1d68313fa6b6afcc7966adef23d60f45b8a2b9b688bf1"
dependencies = [
"hax-lib-macros-types 0.3.5",
"hax-lib-macros-types",
"proc-macro-error2",
"proc-macro2",
"quote",
"syn 2.0.100",
]
[[package]]
name = "hax-lib-macros-types"
version = "0.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d5a22f64cb35f8363892df6285e7edbe96885cd660d85bfd6765c95886647b77"
dependencies = [
"proc-macro2",
"quote",
"serde",
"serde_json",
"uuid",
"syn",
]
[[package]]
@ -347,18 +320,18 @@ checksum = "d750af042f7ef4f724306de029d18836c26c1765a54a6a3f094cbd23a7267ffa"
[[package]]
name = "libcrux-hacl-rs"
version = "0.0.2"
version = "0.0.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f8bba0885296a72555a5d77056c39cc9b04edd9ab1afa3025ef3dbd96220705c"
checksum = "1134af11da3f24ae8d1a7e2b60ee871c9e3ffd3d8857deaeebab8088b005addd"
dependencies = [
"libcrux-macros",
]
[[package]]
name = "libcrux-hkdf"
version = "0.0.2"
version = "0.0.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "4f42b91d695ed80a637c7670bdc7a5a5e11b98493b01266d985a1477bfaa6bd7"
checksum = "ed7a54a1b453200e8a18205ffbecbb0fee0cce9ec8d0bd635898b7eb2879ac06"
dependencies = [
"libcrux-hacl-rs",
"libcrux-hmac",
@ -366,9 +339,9 @@ dependencies = [
[[package]]
name = "libcrux-hmac"
version = "0.0.2"
version = "0.0.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e478f3208de8b92021a4e97a9590027e2eb115673ad6b1a2ebdf9f367c2b6057"
checksum = "743cdf6149a46b2cd5f62bea237a7c57011e85055486fc031513e1261cc6692e"
dependencies = [
"libcrux-hacl-rs",
"libcrux-macros",
@ -377,32 +350,34 @@ dependencies = [
[[package]]
name = "libcrux-intrinsics"
version = "0.0.2"
version = "0.0.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f4f764ef781467a75b92f4df575911f1cdcf77a7beb316d8054a233fed53a7ab"
checksum = "5d3b41dcbc21a5fb7efbbb5af7405b2e79c4bfe443924e90b13afc0080318d31"
dependencies = [
"hax-lib 0.2.0",
"core-models",
"hax-lib",
]
[[package]]
name = "libcrux-macros"
version = "0.0.2"
version = "0.0.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "3021bc24fb679408d4d7175e21cf808f49816c599733ebf4a97e5bd39c3ce7c0"
checksum = "ffd6aa2dcd5be681662001b81d493f1569c6d49a32361f470b0c955465cd0338"
dependencies = [
"quote",
"syn 2.0.100",
"syn",
]
[[package]]
name = "libcrux-ml-kem"
version = "0.0.2"
version = "0.0.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "34075e62474b4531bd02647a59190b9d4982b5ecca5d9775fc3d35dd70d9cff1"
checksum = "5d368d3e8d6a74e277178d54921eca112a1e6b7837d7d8bc555091acb5d817f5"
dependencies = [
"hax-lib 0.2.0",
"hax-lib",
"libcrux-intrinsics",
"libcrux-platform",
"libcrux-secrets",
"libcrux-sha3",
]
@ -416,10 +391,19 @@ dependencies = [
]
[[package]]
name = "libcrux-sha2"
version = "0.0.2"
name = "libcrux-secrets"
version = "0.0.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "412cf855804ed65212e3d61983d500cea8b9259eff35bb6f8bf03aaf0ac19fbc"
checksum = "332737e629fe6ba7547f5c0f90559eac865d5dbecf98138ffae8f16ab8cbe33f"
dependencies = [
"hax-lib",
]
[[package]]
name = "libcrux-sha2"
version = "0.0.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "91eed3bb0ae073f46ae03c83318013fba6e3302bf3292639417b68e908fec4bf"
dependencies = [
"libcrux-hacl-rs",
"libcrux-macros",
@ -428,20 +412,20 @@ dependencies = [
[[package]]
name = "libcrux-sha3"
version = "0.0.2"
version = "0.0.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "3678ede46c5b5e7d5c0035065f8b9575fb67b6df405a88778ddb89cfb71d8fed"
checksum = "29d95de4257eafdfaf3bffecadb615219b0ca920c553722b3646d32dde76c797"
dependencies = [
"hax-lib 0.2.0",
"hax-lib",
"libcrux-intrinsics",
"libcrux-platform",
]
[[package]]
name = "libcrux-traits"
version = "0.0.2"
version = "0.0.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "50c487a3fb34361f4f78a9c9dc5eff4ae62ef3ccb69a916af7b524dd288de9db"
checksum = "0cdbf9591a39f04d6da6b9bad51ac58378604a80708c2173dadf92029891b9e2"
dependencies = [
"rand 0.9.1",
]
@ -529,7 +513,7 @@ dependencies = [
"proc-macro-crate",
"proc-macro2",
"quote",
"syn 2.0.100",
"syn",
]
[[package]]
@ -544,6 +528,12 @@ version = "1.0.15"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "57c0d7b74b563b49d38dae00a0c37d4d6de9b432382b2892f0574ddcae73fd0a"
[[package]]
name = "pastey"
version = "0.1.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "35fb2e5f958ec131621fdd531e9fc186ed768cbe395337403ae56c17a74c68ec"
[[package]]
name = "petgraph"
version = "0.7.1"
@ -570,7 +560,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "664ec5419c51e34154eec046ebcba56312d5a2fc3b09a06da188e1ad21afadf6"
dependencies = [
"proc-macro2",
"syn 2.0.100",
"syn",
]
[[package]]
@ -582,30 +572,6 @@ dependencies = [
"toml_edit",
]
[[package]]
name = "proc-macro-error"
version = "1.0.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "da25490ff9892aab3fcf7c36f08cfb902dd3e71ca0f9f9517bea02a73a5ce38c"
dependencies = [
"proc-macro-error-attr",
"proc-macro2",
"quote",
"syn 1.0.109",
"version_check",
]
[[package]]
name = "proc-macro-error-attr"
version = "1.0.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a1be40180e52ecc98ad80b184934baf3d0d29f979574e439af5a55274b35f869"
dependencies = [
"proc-macro2",
"quote",
"version_check",
]
[[package]]
name = "proc-macro-error-attr2"
version = "2.0.0"
@ -625,7 +591,7 @@ dependencies = [
"proc-macro-error-attr2",
"proc-macro2",
"quote",
"syn 2.0.100",
"syn",
]
[[package]]
@ -663,7 +629,7 @@ dependencies = [
"prost",
"prost-types",
"regex",
"syn 2.0.100",
"syn",
"tempfile",
]
@ -677,7 +643,7 @@ dependencies = [
"itertools",
"proc-macro2",
"quote",
"syn 2.0.100",
"syn",
]
[[package]]
@ -853,7 +819,7 @@ checksum = "5b0276cf7f2c73365f7157c8123c21cd9a50fbbd844757af28ca1f5925fc2a00"
dependencies = [
"proc-macro2",
"quote",
"syn 2.0.100",
"syn",
]
[[package]]
@ -909,7 +875,7 @@ dependencies = [
"curve25519-dalek",
"displaydoc",
"galois_field_2pm",
"hax-lib 0.3.5",
"hax-lib",
"hkdf",
"hmac",
"libcrux-hkdf",
@ -935,16 +901,6 @@ version = "2.6.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "13c2bddecc57b384dee18652358fb23172facb8a2c51ccc10d74c157bdea3292"
[[package]]
name = "syn"
version = "1.0.109"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "72b64191b275b66ffe2469e8af2c1cfe3bafa67b529ead792a6d0160888b4237"
dependencies = [
"proc-macro2",
"unicode-ident",
]
[[package]]
name = "syn"
version = "2.0.100"
@ -986,7 +942,7 @@ checksum = "7f7cf42b4507d8ea322120659672cf1b9dbb93f8f2d4ecfd6e51350ff5b17a1d"
dependencies = [
"proc-macro2",
"quote",
"syn 2.0.100",
"syn",
]
[[package]]
@ -1156,7 +1112,7 @@ checksum = "a996a8f63c5c4448cd959ac1bab0aaa3306ccfd060472f85943ee0750f0169be"
dependencies = [
"proc-macro2",
"quote",
"syn 2.0.100",
"syn",
]
[[package]]

6
Cargo.toml
View file

@ -12,9 +12,9 @@ curve25519-dalek = { version = "4.1.3", features = ["rand_core"] }
displaydoc = "0.2"
hax-lib = "0.3.5"
hkdf = "0.12"
libcrux-hkdf = "0.0.2"
libcrux-hmac = "0.0.2"
libcrux-ml-kem = { version = "0.0.2", default-features = false, features = ["incremental", "mlkem768"] }
libcrux-hkdf = "0.0.3"
libcrux-hmac = "0.0.3"
libcrux-ml-kem = { version = "0.0.3", default-features = false, features = ["incremental", "mlkem768"] }
log = "0.4.21"
num_enum = "0.7.3"
prost = "0.13.1"