From dc98a2aed04caa1d621e44ebf5bec7e7ab2d52d6 Mon Sep 17 00:00:00 2001 From: Georgio Nicolas Date: Wed, 28 Jan 2026 17:54:06 +0100 Subject: [PATCH] update manifests --- Cargo.lock | 44 ++++++++++++++++++++++---------------------- Cargo.toml | 10 ---------- 2 files changed, 22 insertions(+), 32 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 329d1ec96e..bcabdf52a3 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1477,7 +1477,7 @@ checksum = "773648b94d0e5d620f64f280777445740e61fe701025087ec8b57f45c791888b" [[package]] name = "core-models" version = "0.0.5" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "hax-lib", "pastey 0.2.1", @@ -4455,7 +4455,7 @@ checksum = "bcc35a38544a891a5f7c865aca548a982ccb3b8650a5b06d0fd33a10283c56fc" [[package]] name = "libcrux-aesgcm" version = "0.0.6" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "libcrux-intrinsics", "libcrux-platform", @@ -4466,7 +4466,7 @@ dependencies = [ [[package]] name = "libcrux-chacha20poly1305" version = "0.0.5" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "libcrux-hacl-rs", "libcrux-macros", @@ -4478,7 +4478,7 @@ dependencies = [ [[package]] name = "libcrux-curve25519" version = "0.0.5" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "libcrux-hacl-rs", "libcrux-macros", @@ -4489,7 +4489,7 @@ dependencies = [ [[package]] name = "libcrux-ecdh" version = "0.0.5" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "libcrux-curve25519", "libcrux-p256", @@ -4500,7 +4500,7 @@ dependencies = [ [[package]] name = "libcrux-ed25519" version = "0.0.5" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "libcrux-hacl-rs", "libcrux-macros", @@ -4512,7 +4512,7 @@ dependencies = [ [[package]] name = "libcrux-hacl-rs" version = "0.0.4" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "libcrux-macros", ] @@ -4520,7 +4520,7 @@ dependencies = [ [[package]] name = "libcrux-hkdf" version = "0.0.5" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "libcrux-hacl-rs", "libcrux-hmac", @@ -4530,7 +4530,7 @@ dependencies = [ [[package]] name = "libcrux-hmac" version = "0.0.5" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "libcrux-hacl-rs", "libcrux-macros", @@ -4540,7 +4540,7 @@ dependencies = [ [[package]] name = "libcrux-intrinsics" version = "0.0.5" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "core-models", "hax-lib", @@ -4549,7 +4549,7 @@ dependencies = [ [[package]] name = "libcrux-kem" version = "0.0.5" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "libcrux-curve25519", "libcrux-ecdh", @@ -4564,7 +4564,7 @@ dependencies = [ [[package]] name = "libcrux-macros" version = "0.0.3" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "quote", "syn 2.0.114", @@ -4573,7 +4573,7 @@ dependencies = [ [[package]] name = "libcrux-ml-dsa" version = "0.0.6" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "core-models", "hax-lib", @@ -4587,7 +4587,7 @@ dependencies = [ [[package]] name = "libcrux-ml-kem" version = "0.0.6" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "hax-lib", "libcrux-intrinsics", @@ -4602,7 +4602,7 @@ dependencies = [ [[package]] name = "libcrux-p256" version = "0.0.5" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "libcrux-hacl-rs", "libcrux-macros", @@ -4614,7 +4614,7 @@ dependencies = [ [[package]] name = "libcrux-platform" version = "0.0.3" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "libc", ] @@ -4622,7 +4622,7 @@ dependencies = [ [[package]] name = "libcrux-poly1305" version = "0.0.4" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "libcrux-hacl-rs", "libcrux-macros", @@ -4631,7 +4631,7 @@ dependencies = [ [[package]] name = "libcrux-psq" version = "0.0.6" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "classic-mceliece-rust", "libcrux-aesgcm", @@ -4653,7 +4653,7 @@ dependencies = [ [[package]] name = "libcrux-secrets" version = "0.0.5" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "hax-lib", ] @@ -4661,7 +4661,7 @@ dependencies = [ [[package]] name = "libcrux-sha2" version = "0.0.5" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "libcrux-hacl-rs", "libcrux-macros", @@ -4671,7 +4671,7 @@ dependencies = [ [[package]] name = "libcrux-sha3" version = "0.0.6" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "hax-lib", "libcrux-intrinsics", @@ -4682,7 +4682,7 @@ dependencies = [ [[package]] name = "libcrux-traits" version = "0.0.5" -source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1" +source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d" dependencies = [ "libcrux-secrets", "rand 0.9.2", diff --git a/Cargo.toml b/Cargo.toml index b19dd32166..1fe28b5e9f 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -552,16 +552,6 @@ wasm-bindgen-test = "0.3.49" wasmtimer = "0.4.1" web-sys = "0.3.76" -# temporary workaround until relevant changes are merged upstream -[patch."https://github.com/cryspen/libcrux"] -libcrux-kem = { git = "https://github.com/jstuczyn/libcrux", branch = "jstuczyn/psq-dkhem-utils" } -libcrux-ecdh = { git = "https://github.com/jstuczyn/libcrux", branch = "jstuczyn/psq-dkhem-utils" } -libcrux-chacha20poly1305 = { git = "https://github.com/jstuczyn/libcrux", branch = "jstuczyn/psq-dkhem-utils" } -libcrux-psq = { git = "https://github.com/jstuczyn/libcrux", branch = "jstuczyn/psq-dkhem-utils" } -libcrux-ml-kem = { git = "https://github.com/jstuczyn/libcrux", branch = "jstuczyn/psq-dkhem-utils" } -libcrux-sha3 = { git = "https://github.com/jstuczyn/libcrux", branch = "jstuczyn/psq-dkhem-utils" } -libcrux-traits = { git = "https://github.com/jstuczyn/libcrux", branch = "jstuczyn/psq-dkhem-utils" } - # for local development: #[patch.crates-io]