diff --git a/Cargo.lock b/Cargo.lock
index f59fd7eb..de3740bb 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2088,9 +2088,9 @@ dependencies = [
 
 [[package]]
 name = "insta"
-version = "1.32.0"
+version = "1.33.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a3e02c584f4595792d09509a94cdb92a3cef7592b1eb2d9877ee6f527062d0ea"
+checksum = "1aa511b2e298cd49b1856746f6bb73e17036bcd66b25f5e92cdcdbec9bd75686"
 dependencies = [
  "console",
  "lazy_static",
@@ -3115,19 +3115,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.4.0",
  "lazy_static",
  "num-traits",
  "rand 0.8.5",
  "rand_chacha 0.3.1",
  "rand_xorshift",
- "regex-syntax 0.6.29",
+ "regex-syntax 0.7.5",
  "rusty-fork",
  "tempfile",
  "unarray",
@@ -4570,9 +4570,9 @@ dependencies = [
 
 [[package]]
 name = "tonic"
-version = "0.10.1"
+version = "0.10.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "14c00bc15e49625f3d2f20b17082601e5e17cf27ead69e805174026c194b6664"
+checksum = "d560933a0de61cf715926b9cac824d4c883c2c43142f787595e48280c40a1d0e"
 dependencies = [
  "async-stream",
  "async-trait",
@@ -4597,9 +4597,9 @@ dependencies = [
 
 [[package]]
 name = "tonic-build"
-version = "0.10.1"
+version = "0.10.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c9d37bb15da06ae9bb945963066baca6561b505af93a52e949a85d28558459a2"
+checksum = "9d021fc044c18582b9a2408cd0dd05b1596e3ecdb5c4df822bb0183545683889"
 dependencies = [
  "prettyplease",
  "proc-macro2",
@@ -5895,7 +5895,7 @@ dependencies = [
  "tokio",
  "tokio-stream",
  "toml 0.8.0",
- "tonic 0.10.1",
+ "tonic 0.10.2",
  "tonic-build",
  "tower",
  "tracing",
diff --git a/zebra-chain/Cargo.toml b/zebra-chain/Cargo.toml
index a6c7effd..9ee9d497 100644
--- a/zebra-chain/Cargo.toml
+++ b/zebra-chain/Cargo.toml
@@ -120,7 +120,7 @@ tokio = { version = "1.33.0", optional = true }
 zcash_address = { version = "0.3.0", optional = true }
 
 # Optional testing dependencies
-proptest = { version = "1.2.0", optional = true }
+proptest = { version = "1.3.1", optional = true }
 proptest-derive = { version = "0.4.0", optional = true }
 
 rand = { version = "0.8.5", optional = true }
@@ -141,7 +141,7 @@ spandoc = "0.2.2"
 tracing = "0.1.37"
 
 # Make the optional testing dependencies required
-proptest = "1.2.0"
+proptest = "1.3.1"
 proptest-derive = "0.4.0"
 
 rand = "0.8.5"
diff --git a/zebra-consensus/Cargo.toml b/zebra-consensus/Cargo.toml
index a9c12c40..4c2c167d 100644
--- a/zebra-consensus/Cargo.toml
+++ b/zebra-consensus/Cargo.toml
@@ -74,7 +74,7 @@ zebra-chain = { path = "../zebra-chain", version = "1.0.0-beta.29" }
 howudoin = { version = "0.1.2", optional = true }
 
 # Test-only dependencies
-proptest = { version = "1.2.0", optional = true }
+proptest = { version = "1.3.1", optional = true }
 proptest-derive = { version = "0.4.0", optional = true }
 
 [dev-dependencies]
@@ -85,7 +85,7 @@ tinyvec = { version = "1.6.0", features = ["rustc_1_55"] }
 
 hex = "0.4.3"
 num-integer = "0.1.45"
-proptest = "1.2.0"
+proptest = "1.3.1"
 proptest-derive = "0.4.0"
 spandoc = "0.2.2"
 
diff --git a/zebra-network/Cargo.toml b/zebra-network/Cargo.toml
index d7f43701..763cf681 100644
--- a/zebra-network/Cargo.toml
+++ b/zebra-network/Cargo.toml
@@ -80,13 +80,13 @@ howudoin = { version = "0.1.2", optional = true }
 # tor-rtcompat  = { version = "0.0.2", optional = true }
 
 # proptest dependencies
-proptest = { version = "1.2.0", optional = true }
+proptest = { version = "1.3.1", optional = true }
 proptest-derive = { version = "0.4.0", optional = true }
 
 zebra-chain = { path = "../zebra-chain", version = "1.0.0-beta.29", features = ["async-error"] }
 
 [dev-dependencies]
-proptest = "1.2.0"
+proptest = "1.3.1"
 proptest-derive = "0.4.0"
 
 static_assertions = "1.1.0"
diff --git a/zebra-rpc/Cargo.toml b/zebra-rpc/Cargo.toml
index 9ecec985..5e87c892 100644
--- a/zebra-rpc/Cargo.toml
+++ b/zebra-rpc/Cargo.toml
@@ -68,7 +68,7 @@ rand = { version = "0.8.5", optional = true }
 zcash_address = { version = "0.3.0", optional = true }
 
 # Test-only feature proptest-impl
-proptest = { version = "1.2.0", optional = true }
+proptest = { version = "1.3.1", optional = true }
 
 zebra-chain = { path = "../zebra-chain", version = "1.0.0-beta.29", features = ["json-conversion"] }
 zebra-consensus = { path = "../zebra-consensus", version = "1.0.0-beta.29" }
@@ -78,9 +78,9 @@ zebra-script = { path = "../zebra-script", version = "1.0.0-beta.29" }
 zebra-state = { path = "../zebra-state", version = "1.0.0-beta.29" }
 
 [dev-dependencies]
-insta = { version = "1.31.0", features = ["redactions", "json", "ron"] }
+insta = { version = "1.33.0", features = ["redactions", "json", "ron"] }
 
-proptest = "1.2.0"
+proptest = "1.3.1"
 
 thiserror = "1.0.48"
 tokio = { version = "1.33.0", features = ["full", "tracing", "test-util"] }
diff --git a/zebra-state/Cargo.toml b/zebra-state/Cargo.toml
index be2b3963..da0138b0 100644
--- a/zebra-state/Cargo.toml
+++ b/zebra-state/Cargo.toml
@@ -80,7 +80,7 @@ howudoin = { version = "0.1.2", optional = true }
 
 # test feature proptest-impl
 zebra-test = { path = "../zebra-test/", version = "1.0.0-beta.29", optional = true }
-proptest = { version = "1.2.0", optional = true }
+proptest = { version = "1.3.1", optional = true }
 proptest-derive = { version = "0.4.0", optional = true }
 
 [dev-dependencies]
@@ -93,9 +93,9 @@ once_cell = "1.18.0"
 spandoc = "0.2.2"
 
 hex = { version = "0.4.3", features = ["serde"] }
-insta = { version = "1.31.0", features = ["ron", "redactions"] }
+insta = { version = "1.33.0", features = ["ron", "redactions"] }
 
-proptest = "1.2.0"
+proptest = "1.3.1"
 proptest-derive = "0.4.0"
 rand = "0.8.5"
 
diff --git a/zebra-test/Cargo.toml b/zebra-test/Cargo.toml
index 7bc27e30..3a6bde51 100644
--- a/zebra-test/Cargo.toml
+++ b/zebra-test/Cargo.toml
@@ -18,8 +18,8 @@ categories = ["command-line-utilities", "cryptography::cryptocurrencies"]
 hex = "0.4.3"
 indexmap = "2.0.0"
 lazy_static = "1.4.0"
-insta = "1.31.0"
-proptest = "1.2.0"
+insta = "1.33.0"
+proptest = "1.3.1"
 once_cell = "1.18.0"
 rand = "0.8.5"
 regex = "1.9.5"
diff --git a/zebrad/Cargo.toml b/zebrad/Cargo.toml
index c3395ad6..c97796ce 100644
--- a/zebrad/Cargo.toml
+++ b/zebrad/Cargo.toml
@@ -216,7 +216,7 @@ howudoin = { version = "0.1.2", features = ["term-line"], optional = true }
 indicatif = { version = "0.17.6", optional = true }
 
 # test feature proptest-impl
-proptest = { version = "1.2.0", optional = true }
+proptest = { version = "1.3.1", optional = true }
 proptest-derive = { version = "0.4.0", optional = true }
 
 # test feature tokio-console
@@ -226,7 +226,7 @@ console-subscriber = { version = "0.1.10", optional = true }
 vergen = { version = "8.2.5", default-features = false, features = ["cargo", "git", "git2", "rustc"] }
 
 # test feature lightwalletd-grpc-tests
-tonic-build = { version = "0.10.0", optional = true }
+tonic-build = { version = "0.10.2", optional = true }
 
 [dev-dependencies]
 abscissa_core = { version = "0.7.0", features = ["testing"] }
@@ -235,7 +235,7 @@ hex-literal = "0.4.1"
 jsonrpc-core = "18.0.0"
 once_cell = "1.18.0"
 regex = "1.9.5"
-insta = { version = "1.31.0", features = ["json"] }
+insta = { version = "1.33.0", features = ["json"] }
 
 # zebra-rpc needs the preserve_order feature, it also makes test results more stable
 serde_json = { version = "1.0.107", features = ["preserve_order"] }
@@ -249,9 +249,9 @@ tokio-stream = "0.1.14"
 
 # test feature lightwalletd-grpc-tests
 prost = "0.12.1"
-tonic = "0.10.0"
+tonic = "0.10.2"
 
-proptest = "1.2.0"
+proptest = "1.3.1"
 proptest-derive = "0.4.0"
 
 # enable span traces and track caller in tests