diff --git a/Cargo.lock b/Cargo.lock
index 105f4e5d..4892afe7 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -3410,14 +3410,13 @@ dependencies = [
 
 [[package]]
 name = "proptest"
-version = "1.8.0"
+version = "1.9.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2bb0be07becd10686a0bb407298fb425360a5c44a663774406340c59a22de4ce"
+checksum = "bee689443a2bd0a16ab0348b52ee43e3b2d1b1f931c8aa5c9f8de4c86fbe8c40"
 dependencies = [
  "bit-set",
  "bit-vec",
  "bitflags",
- "lazy_static",
  "num-traits",
  "rand 0.9.2",
  "rand_chacha 0.9.0",
diff --git a/program/Cargo.toml b/program/Cargo.toml
index da7c9c14..ca1cb54d 100644
--- a/program/Cargo.toml
+++ b/program/Cargo.toml
@@ -28,7 +28,7 @@ agave-feature-set = "3.0.0"
 arbitrary = { version = "1.4.2", features = ["derive"] }
 assert_matches = "1.5.0"
 mollusk-svm = { version = "0.7.0", features = ["all-builtins"] }
-proptest = "1.8.0"
+proptest = "1.9.0"
 rand = "0.9.2"
 solana-account = { version = "3.1.0", features = ["bincode"] }
 solana-config-interface = { version = "2", features = ["serde"] }