diff --git a/Cargo.lock b/Cargo.lock
index c48d5b0e011..d410f4a3f0d 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -3720,19 +3720,19 @@ dependencies = [
 
 [[package]]
 name = "proptest"
-version = "1.2.0"
+version = "1.3.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4e35c06b98bf36aba164cc17cb25f7e232f5c4aeea73baa14b8a9f0d92dbfa65"
+checksum = "7c003ac8c77cb07bb74f5f198bce836a689bcd5a42574612bf14d17bfd08c20e"
 dependencies = [
  "bit-set",
- "bitflags 1.3.2",
- "byteorder",
+ "bit-vec",
+ "bitflags 2.3.3",
  "lazy_static",
  "num-traits",
  "rand 0.8.5",
  "rand_chacha 0.3.1",
  "rand_xorshift",
- "regex-syntax 0.6.27",
+ "regex-syntax",
  "rusty-fork",
  "tempfile",
  "unarray",
@@ -4121,7 +4121,7 @@ checksum = "d0ab3ca65655bb1e41f2a8c8cd662eb4fb035e67c3f78da1d61dffe89d07300f"
 dependencies = [
  "aho-corasick 1.0.2",
  "memchr",
- "regex-syntax 0.7.2",
+ "regex-syntax",
 ]
 
 [[package]]
@@ -4130,12 +4130,6 @@ version = "0.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "fa250384981ea14565685dea16a9ccc4d1c541a13f82b9c168572264d1df8c56"
 
-[[package]]
-name = "regex-syntax"
-version = "0.6.27"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a3f87b73ce11b1619a3c6332f45341e0047173771e8b8b73f87bfeefb7b56244"
-
 [[package]]
 name = "regex-syntax"
 version = "0.7.2"
diff --git a/governance/addin-mock/program/Cargo.toml b/governance/addin-mock/program/Cargo.toml
index 32016a13588..738de1e83ab 100644
--- a/governance/addin-mock/program/Cargo.toml
+++ b/governance/addin-mock/program/Cargo.toml
@@ -28,7 +28,7 @@ thiserror = "1.0"
 
 [dev-dependencies]
 assert_matches = "1.5.0"
-proptest = "1.2"
+proptest = "1.3"
 solana-program-test = "1.16.13"
 solana-sdk = "1.16.13"
 spl-governance-test-sdk = { version = "0.1.3", path ="../../test-sdk"}
diff --git a/governance/chat/program/Cargo.toml b/governance/chat/program/Cargo.toml
index fe9d05951e1..fc8f28ec1b7 100644
--- a/governance/chat/program/Cargo.toml
+++ b/governance/chat/program/Cargo.toml
@@ -33,7 +33,7 @@ thiserror = "1.0"
 
 [dev-dependencies]
 assert_matches = "1.5.0"
-proptest = "1.2"
+proptest = "1.3"
 solana-program-test = "1.16.13"
 solana-sdk = "1.16.13"
 spl-governance-test-sdk = { version = "0.1.3", path = "../../test-sdk" }
diff --git a/governance/program/Cargo.toml b/governance/program/Cargo.toml
index 0bccb55c7ed..9c2713d8279 100644
--- a/governance/program/Cargo.toml
+++ b/governance/program/Cargo.toml
@@ -28,7 +28,7 @@ thiserror = "1.0"
 [dev-dependencies]
 assert_matches = "1.5.0"
 base64 = "0.21"
-proptest = "1.2"
+proptest = "1.3"
 solana-program-test = "1.16.13"
 solana-sdk = "1.16.13"
 spl-governance-test-sdk = { version = "0.1.3", path ="../test-sdk"}
diff --git a/libraries/math/Cargo.toml b/libraries/math/Cargo.toml
index 6b265240a3e..e2caa0d5692 100644
--- a/libraries/math/Cargo.toml
+++ b/libraries/math/Cargo.toml
@@ -20,7 +20,7 @@ thiserror = "1.0"
 uint = "0.9"
 
 [dev-dependencies]
-proptest = "1.2.0"
+proptest = "1.3.1"
 solana-program-test = "1.16.13"
 solana-sdk = "1.16.13"
 libm = "0.2.7"
diff --git a/stake-pool/program/Cargo.toml b/stake-pool/program/Cargo.toml
index 2d1d5a51bb0..fdfd2bac40a 100644
--- a/stake-pool/program/Cargo.toml
+++ b/stake-pool/program/Cargo.toml
@@ -29,7 +29,7 @@ bincode = "1.3.1"
 
 [dev-dependencies]
 assert_matches = "1.5.0"
-proptest = "1.2"
+proptest = "1.3"
 solana-program-test = "1.16.13"
 solana-sdk = "1.16.13"
 solana-vote-program = "1.16.13"
diff --git a/token-lending/program/Cargo.toml b/token-lending/program/Cargo.toml
index 3ddb1a52041..a35fce4d455 100644
--- a/token-lending/program/Cargo.toml
+++ b/token-lending/program/Cargo.toml
@@ -23,7 +23,7 @@ uint = "0.9"
 
 [dev-dependencies]
 assert_matches = "1.5.0"
-proptest = "1.2"
+proptest = "1.3"
 solana-program-test = "1.16.13"
 solana-sdk = "1.16.13"
 
diff --git a/token-swap/program/Cargo.toml b/token-swap/program/Cargo.toml
index 072e61a125f..fa938d93b0b 100644
--- a/token-swap/program/Cargo.toml
+++ b/token-swap/program/Cargo.toml
@@ -26,7 +26,7 @@ arbitrary = { version = "1.0", features = ["derive"], optional = true }
 roots = { version = "0.0.8", optional = true }
 
 [dev-dependencies]
-proptest = "1.2"
+proptest = "1.3"
 roots = "0.0.8"
 solana-sdk = "1.16.13"
 test-case = "3.2"
diff --git a/token/program-2022/Cargo.toml b/token/program-2022/Cargo.toml
index 954e599fa0f..2e8215577e7 100644
--- a/token/program-2022/Cargo.toml
+++ b/token/program-2022/Cargo.toml
@@ -38,7 +38,7 @@ base64 = { version = "0.21.4", optional = true }
 
 [dev-dependencies]
 lazy_static = "1.4.0"
-proptest = "1.2"
+proptest = "1.3"
 serial_test = "2.0.0"
 solana-program-test = "1.16.13"
 solana-sdk = "1.16.13"
diff --git a/token/program/Cargo.toml b/token/program/Cargo.toml
index 00542bfac21..0352df804e2 100644
--- a/token/program/Cargo.toml
+++ b/token/program/Cargo.toml
@@ -23,7 +23,7 @@ thiserror = "1.0"
 
 [dev-dependencies]
 lazy_static = "1.4.0"
-proptest = "1.2"
+proptest = "1.3"
 serial_test = "2.0.0"
 solana-program-test = "1.16.13"
 solana-sdk = "1.16.13"