diff --git a/rust/Cargo.lock b/rust/Cargo.lock
index 8e853c3c8..80e9f9854 100644
--- a/rust/Cargo.lock
+++ b/rust/Cargo.lock
@@ -5737,9 +5737,9 @@ dependencies = [
 
 [[package]]
 name = "proptest-state-machine"
-version = "0.3.1"
+version = "0.4.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e943d140e09d07740fb496487c51fb8eb31c70389ac4a2e9dcd8a0d9fdf228d4"
+checksum = "53f556db2c446aa1f554a94938ea54bf16a37742bbb984dc5d8dcf6866b1dd5a"
 dependencies = [
  "proptest",
 ]
diff --git a/rust/Cargo.toml b/rust/Cargo.toml
index 6a6fde4a1..b4de57be0 100644
--- a/rust/Cargo.toml
+++ b/rust/Cargo.toml
@@ -128,7 +128,7 @@ phoenix-channel = { path = "connlib/phoenix-channel" }
 png = "0.17.16"
 proc-macro2 = "1.0"
 proptest = "1.7.0"
-proptest-state-machine = "0.3.1"
+proptest-state-machine = "0.4.0"
 quinn-udp = { version = "0.5.12", features = ["fast-apple-datapath"] }
 quote = "1.0"
 rand = "0.8.5"