diff --git a/Cargo.lock b/Cargo.lock
index bf75533ab..d05b611e1 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -116,7 +116,7 @@ dependencies = [
  "p256",
  "pqcrypto-kyber",
  "rand",
- "rand_core 0.6.4",
+ "rand_core",
  "ring",
  "sha2",
  "sha3",
@@ -444,7 +444,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "0dc92fb57ca44df6db8059111ab3af99a63d5d0f8375d9972e319a379c6bab76"
 dependencies = [
  "generic-array",
- "rand_core 0.6.4",
+ "rand_core",
  "subtle",
  "zeroize",
 ]
@@ -456,7 +456,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "1bfb12502f3fc46cca1bb51ac28df9d618d813cdc3d2f25b9fe775a34af26bb3"
 dependencies = [
  "generic-array",
- "rand_core 0.6.4",
+ "rand_core",
  "typenum",
 ]
 
@@ -494,7 +494,7 @@ checksum = "1c359b7249347e46fb28804470d071c921156ad62b3eef5d34e2ba867533dec8"
 dependencies = [
  "byteorder",
  "digest 0.9.0",
- "rand_core 0.6.4",
+ "rand_core",
  "subtle-ng",
  "zeroize",
 ]
@@ -572,7 +572,7 @@ dependencies = [
  "hkdf",
  "pem-rfc7468",
  "pkcs8",
- "rand_core 0.6.4",
+ "rand_core",
  "sec1",
  "subtle",
  "zeroize",
@@ -617,7 +617,7 @@ version = "0.13.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "ded41244b729663b1e574f1b4fb731469f69f79c17667b5d776b16cda0479449"
 dependencies = [
- "rand_core 0.6.4",
+ "rand_core",
  "subtle",
 ]
 
@@ -685,7 +685,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "f0f9ef7462f7c099f518d754361858f86d8a07af53ba9af0fe635bbccb151a63"
 dependencies = [
  "ff",
- "rand_core 0.6.4",
+ "rand_core",
  "subtle",
 ]
 
@@ -817,48 +817,6 @@ dependencies = [
  "windows-sys 0.52.0",
 ]
 
-[[package]]
-name = "hpke-rs"
-version = "0.2.0"
-source = "git+https://github.com/cryspen/hpke-rs.git?branch=keks/tests-crate#f3c072720227b8ec8c760aa97fa80c90a5f8272d"
-dependencies = [
- "hpke-rs-crypto 0.2.0 (git+https://github.com/cryspen/hpke-rs.git?branch=keks/tests-crate)",
- "log",
- "serde",
- "tls_codec",
- "zeroize",
-]
-
-[[package]]
-name = "hpke-rs-crypto"
-version = "0.2.0"
-source = "git+https://github.com/cryspen/hpke-rs.git?branch=keks/tests-crate#f3c072720227b8ec8c760aa97fa80c90a5f8272d"
-dependencies = [
- "rand_core 0.6.4",
-]
-
-[[package]]
-name = "hpke-rs-crypto"
-version = "0.2.0"
-source = "git+https://github.com/cryspen/hpke-rs.git#7c486f19188013f2546e185b9759918df6e02901"
-dependencies = [
- "rand_core 0.6.4",
-]
-
-[[package]]
-name = "hpke-rs-tests"
-version = "0.1.0"
-source = "git+https://github.com/cryspen/hpke-rs.git?branch=keks/tests-crate#f3c072720227b8ec8c760aa97fa80c90a5f8272d"
-dependencies = [
- "hpke-rs",
- "hpke-rs-crypto 0.2.0 (git+https://github.com/cryspen/hpke-rs.git?branch=keks/tests-crate)",
- "log",
- "pretty_env_logger",
- "rayon",
- "serde",
- "serde_json",
-]
-
 [[package]]
 name = "humantime"
 version = "2.1.0"
@@ -979,9 +937,6 @@ dependencies = [
  "hax-lib 0.1.0-pre.1 (git+https://github.com/hacspec/hax/?branch=main)",
  "hax-lib-macros 0.1.0-pre.1 (git+https://github.com/hacspec/hax/?branch=main)",
  "hex",
- "hpke-rs",
- "hpke-rs-crypto 0.2.0 (git+https://github.com/cryspen/hpke-rs.git)",
- "hpke-rs-tests",
  "libcrux",
  "libcrux-ecdh",
  "libcrux-hacl",
@@ -995,8 +950,7 @@ dependencies = [
  "quickcheck",
  "quickcheck_macros",
  "rand",
- "rand_core 0.2.2",
- "rand_core 0.6.4",
+ "rand_core",
  "serde",
  "serde_json",
  "wasm-bindgen",
@@ -1011,7 +965,7 @@ dependencies = [
  "libcrux-hacl",
  "pretty_env_logger",
  "rand",
- "rand_core 0.6.4",
+ "rand_core",
  "serde",
  "serde_json",
 ]
@@ -1092,7 +1046,7 @@ dependencies = [
  "libcrux-platform",
  "libcrux-sha3",
  "rand",
- "rand_core 0.6.4",
+ "rand_core",
  "serde",
  "serde_json",
 ]
@@ -1536,7 +1490,7 @@ checksum = "34af8d1a0e25924bc5b7c43c079c942339d8f0a8b57c39049bef581b46327404"
 dependencies = [
  "libc",
  "rand_chacha",
- "rand_core 0.6.4",
+ "rand_core",
 ]
 
 [[package]]
@@ -1546,33 +1500,9 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "e6c10a63a0fa32252be49d21e7709d4d4baf8d231c2dbce1eaa8141b9b127d88"
 dependencies = [
  "ppv-lite86",
- "rand_core 0.6.4",
-]
-
-[[package]]
-name = "rand_core"
-version = "0.2.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1961a422c4d189dfb50ffa9320bf1f2a9bd54ecb92792fb9477f99a1045f3372"
-dependencies = [
- "rand_core 0.3.1",
+ "rand_core",
 ]
 
-[[package]]
-name = "rand_core"
-version = "0.3.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7a6fdeb83b075e8266dcc8762c22776f6877a63111121f5f8c7411e5be7eed4b"
-dependencies = [
- "rand_core 0.4.2",
-]
-
-[[package]]
-name = "rand_core"
-version = "0.4.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9c33a3c44ca05fa6f1807d8e6743f3824e8509beca625669633be0acbdf509dc"
-
 [[package]]
 name = "rand_core"
 version = "0.6.4"
@@ -1791,7 +1721,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "77549399552de45a898a580c1b41d445bf730df867cc44e6c0233bbc4b8329de"
 dependencies = [
  "digest 0.10.7",
- "rand_core 0.6.4",
+ "rand_core",
 ]
 
 [[package]]
@@ -1869,28 +1799,6 @@ dependencies = [
  "serde_json",
 ]
 
-[[package]]
-name = "tls_codec"
-version = "0.4.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b5e78c9c330f8c85b2bae7c8368f2739157db9991235123aa1b15ef9502bfb6a"
-dependencies = [
- "serde",
- "tls_codec_derive",
- "zeroize",
-]
-
-[[package]]
-name = "tls_codec_derive"
-version = "0.4.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "8d9ef545650e79f30233c0003bcc2504d7efac6dad25fca40744de773fe2049c"
-dependencies = [
- "proc-macro2",
- "quote",
- "syn 2.0.75",
-]
-
 [[package]]
 name = "typenum"
 version = "1.17.0"
@@ -2175,7 +2083,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "c7e468321c81fb07fa7f4c636c3972b9100f0346e5b6a9f2bd0603a52f7ed277"
 dependencies = [
  "curve25519-dalek",
- "rand_core 0.6.4",
+ "rand_core",
  "serde",
  "zeroize",
 ]
@@ -2188,7 +2096,7 @@ checksum = "bf7074de8999662970c3c4c8f7f30925028dd8f4ca31ad4c055efa9cdf2ec326"
 dependencies = [
  "curve25519-dalek-ng",
  "rand",
- "rand_core 0.6.4",
+ "rand_core",
  "zeroize",
 ]
 
diff --git a/Cargo.toml b/Cargo.toml
index bc12a28d2..869a771a7 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -73,9 +73,6 @@ rand = { version = "0.8" }
 log = { version = "0.4", optional = true }
 # WASM API
 wasm-bindgen = { version = "0.2.87", optional = true }
-hpke-rs = { version = "0.2.0", optional = true, git = "https://github.com/cryspen/hpke-rs.git", branch = "keks/tests-crate", package = "hpke-rs"}
-hpke-rs-crypto = { version = "0.2.0", optional = true, git = "https://github.com/cryspen/hpke-rs.git", package = "hpke-rs-crypto"}
-rand_core = { version = "0.2.0", optional = true}
 
 # When using the hax toolchain, we have more dependencies.
 # This is only required when doing proofs.
@@ -94,7 +91,6 @@ serde_json = { version = "1.0" }
 serde = { version = "1.0", features = ["derive"] }
 hex = { version = "0.4.3", features = ["serde"] }
 clap = { version = "4.5", features = ["derive"] }
-hpke-rs-tests = { git = "https://github.com/cryspen/hpke-rs.git", branch = "keks/tests-crate", package = "hpke-rs-tests" }
 
 [target.'cfg(target_arch = "wasm32")'.dev-dependencies]
 wasm-bindgen-test = "0.3"