diff --git a/Cargo.lock b/Cargo.lock
index 2a36ad8..7cbbe59 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2173,7 +2173,7 @@ dependencies = [
  "futures",
  "futures-util",
  "prost-types",
- "rand 0.8.5",
+ "rand 0.9.4",
  "reqwest",
  "serde",
  "serde_json",
diff --git a/proof/Cargo.toml b/proof/Cargo.toml
index fa34fc3..ad4453c 100644
--- a/proof/Cargo.toml
+++ b/proof/Cargo.toml
@@ -29,5 +29,5 @@ path = "src/bin/lean_compiler.rs"
 
 [dev-dependencies]
 tokio = { version = "1", features = ["full"] }
-rand = "0.8"
+rand = "0.9"
 futures = "0.3"