diff --git a/Cargo.lock b/Cargo.lock
index 3503bc3..42b2e6a 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -3453,14 +3453,13 @@ dependencies = [
 
 [[package]]
 name = "proptest"
-version = "1.7.0"
+version = "1.9.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6fcdab19deb5195a31cf7726a210015ff1496ba1464fd42cb4f537b8b01b471f"
+checksum = "bee689443a2bd0a16ab0348b52ee43e3b2d1b1f931c8aa5c9f8de4c86fbe8c40"
 dependencies = [
  "bit-set",
  "bit-vec",
  "bitflags",
- "lazy_static",
  "num-traits",
  "rand 0.9.1",
  "rand_chacha 0.9.0",
diff --git a/programs/fluxa_core/Cargo.toml b/programs/fluxa_core/Cargo.toml
index 59c7a9b..3412593 100644
--- a/programs/fluxa_core/Cargo.toml
+++ b/programs/fluxa_core/Cargo.toml
@@ -30,7 +30,7 @@ tokio = { version = "1.45.1", features = ["full"] }
 solana-program-test = "2.3.2"
 solana-bpf-loader-program = "2.3.2"
 solana-sdk = "2.3.1"
-proptest = "1.7.0"
+proptest = "1.9.0"
 criterion = { version = "0.7.0", features = ["html_reports"] }
 rand = "0.9.1"
 rug = "1.28"
\ No newline at end of file