diff --git a/Cargo.lock b/Cargo.lock
index df1a46e09..d2dc8696d 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2645,9 +2645,9 @@ dependencies = [
 
 [[package]]
 name = "proptest"
-version = "1.7.0"
+version = "1.8.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6fcdab19deb5195a31cf7726a210015ff1496ba1464fd42cb4f537b8b01b471f"
+checksum = "2bb0be07becd10686a0bb407298fb425360a5c44a663774406340c59a22de4ce"
 dependencies = [
  "bit-set",
  "bit-vec",
diff --git a/src/hyperlight_host/Cargo.toml b/src/hyperlight_host/Cargo.toml
index a28e09cd2..86d244433 100644
--- a/src/hyperlight_host/Cargo.toml
+++ b/src/hyperlight_host/Cargo.toml
@@ -86,7 +86,7 @@ uuid = { version = "1.18.1", features = ["v4"] }
 signal-hook-registry = "1.4.6"
 envy = { version = "0.4.2" }
 serde = "1.0"
-proptest = "1.7.0"
+proptest = "1.8.0"
 tempfile = "3.22.0"
 crossbeam-queue = "0.3.12"
 tracing-serde = "0.2.0"