diff --git a/.github/actions/librocksdb/action.yaml b/.github/actions/librocksdb/action.yaml
index 5411bbc9859..8bb32f9fae1 100644
--- a/.github/actions/librocksdb/action.yaml
+++ b/.github/actions/librocksdb/action.yaml
@@ -6,9 +6,9 @@ name: "librocksdb"
 description: "Build and install librocksdb"
 inputs:
   version:
-    description: RocksDB version, eg. "9.9.3"
+    description: RocksDB version, eg. "11.8.1"
     required: false
-    default: "9.9.3"
+    default: "11.8.1"
   force:
     description: Force rebuild
     required: false
diff --git a/Cargo.lock b/Cargo.lock
index 0f726d3c274..fd89359e232 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -524,26 +524,6 @@ version = "0.6.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "230c5f1ca6a325a32553f8640d31ac9b49f2411e901e427570154868b46da4f7"
 
-[[package]]
-name = "bincode"
-version = "2.0.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "36eaf5d7b090263e8150820482d5d93cd964a81e4019913c972f4edcc6edb740"
-dependencies = [
- "bincode_derive",
- "serde",
- "unty",
-]
-
-[[package]]
-name = "bincode_derive"
-version = "2.0.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "bf95709a440f45e986983918d0e8a1f30a9b1df04918fc828670606804ac3c09"
-dependencies = [
- "virtue 0.0.18",
-]
-
 [[package]]
 name = "bindgen"
 version = "0.65.1"
@@ -576,7 +556,7 @@ dependencies = [
  "bitflags 2.13.0",
  "cexpr",
  "clang-sys",
- "itertools 0.10.5",
+ "itertools 0.13.0",
  "proc-macro2",
  "quote",
  "regex",
@@ -1662,18 +1642,18 @@ dependencies = [
 [[package]]
 name = "dash-network"
 version = "0.45.0"
-source = "git+https://github.com/dashpay/rust-dashcore?rev=93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd#93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd"
+source = "git+https://github.com/dashpay/rust-dashcore?rev=057e79cd3e1eeb29676288e9aab76b867d8e707f#057e79cd3e1eeb29676288e9aab76b867d8e707f"
 dependencies = [
- "bincode",
- "bincode_derive",
  "cbindgen 0.29.4",
+ "grovedb-bincode",
+ "grovedb-bincode-derive",
  "serde",
 ]
 
 [[package]]
 name = "dash-network-seeds"
 version = "0.45.0"
-source = "git+https://github.com/dashpay/rust-dashcore?rev=93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd#93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd"
+source = "git+https://github.com/dashpay/rust-dashcore?rev=057e79cd3e1eeb29676288e9aab76b867d8e707f#057e79cd3e1eeb29676288e9aab76b867d8e707f"
 dependencies = [
  "dash-network",
 ]
@@ -1768,7 +1748,7 @@ dependencies = [
 [[package]]
 name = "dash-spv"
 version = "0.45.0"
-source = "git+https://github.com/dashpay/rust-dashcore?rev=93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd#93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd"
+source = "git+https://github.com/dashpay/rust-dashcore?rev=057e79cd3e1eeb29676288e9aab76b867d8e707f#057e79cd3e1eeb29676288e9aab76b867d8e707f"
 dependencies = [
  "async-trait",
  "chrono",
@@ -1797,13 +1777,11 @@ dependencies = [
 [[package]]
 name = "dashcore"
 version = "0.45.0"
-source = "git+https://github.com/dashpay/rust-dashcore?rev=93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd#93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd"
+source = "git+https://github.com/dashpay/rust-dashcore?rev=057e79cd3e1eeb29676288e9aab76b867d8e707f#057e79cd3e1eeb29676288e9aab76b867d8e707f"
 dependencies = [
  "anyhow",
  "base64-compat",
  "bech32 0.9.1",
- "bincode",
- "bincode_derive",
  "bitvec",
  "blake3",
  "blsful",
@@ -1811,6 +1789,8 @@ dependencies = [
  "dashcore-private",
  "dashcore_hashes",
  "ed25519-dalek",
+ "grovedb-bincode",
+ "grovedb-bincode-derive",
  "hex",
  "hex_lit",
  "rustversion",
@@ -1823,12 +1803,12 @@ dependencies = [
 [[package]]
 name = "dashcore-private"
 version = "0.45.0"
-source = "git+https://github.com/dashpay/rust-dashcore?rev=93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd#93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd"
+source = "git+https://github.com/dashpay/rust-dashcore?rev=057e79cd3e1eeb29676288e9aab76b867d8e707f#057e79cd3e1eeb29676288e9aab76b867d8e707f"
 
 [[package]]
 name = "dashcore-rpc"
 version = "0.45.0"
-source = "git+https://github.com/dashpay/rust-dashcore?rev=93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd#93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd"
+source = "git+https://github.com/dashpay/rust-dashcore?rev=057e79cd3e1eeb29676288e9aab76b867d8e707f#057e79cd3e1eeb29676288e9aab76b867d8e707f"
 dependencies = [
  "dashcore-rpc-json",
  "hex",
@@ -1841,10 +1821,10 @@ dependencies = [
 [[package]]
 name = "dashcore-rpc-json"
 version = "0.45.0"
-source = "git+https://github.com/dashpay/rust-dashcore?rev=93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd#93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd"
+source = "git+https://github.com/dashpay/rust-dashcore?rev=057e79cd3e1eeb29676288e9aab76b867d8e707f#057e79cd3e1eeb29676288e9aab76b867d8e707f"
 dependencies = [
- "bincode",
  "dashcore",
+ "grovedb-bincode",
  "hex",
  "key-wallet",
  "serde",
@@ -1856,10 +1836,10 @@ dependencies = [
 [[package]]
 name = "dashcore_hashes"
 version = "0.45.0"
-source = "git+https://github.com/dashpay/rust-dashcore?rev=93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd#93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd"
+source = "git+https://github.com/dashpay/rust-dashcore?rev=057e79cd3e1eeb29676288e9aab76b867d8e707f#057e79cd3e1eeb29676288e9aab76b867d8e707f"
 dependencies = [
- "bincode",
  "dashcore-private",
+ "grovedb-bincode",
  "rs-x11-hash",
  "serde",
 ]
@@ -2117,7 +2097,6 @@ dependencies = [
  "async-trait",
  "base64 0.22.1",
  "bech32 0.11.1",
- "bincode",
  "bs58",
  "byteorder",
  "chrono",
@@ -2132,6 +2111,7 @@ dependencies = [
  "dpp-json-convertible-derive",
  "env_logger",
  "getrandom 0.2.17",
+ "grovedb-bincode",
  "grovedb-commitment-tree",
  "hex",
  "indexmap 2.14.0",
@@ -2182,7 +2162,6 @@ dependencies = [
  "arc-swap",
  "assert_matches",
  "base64 0.22.1",
- "bincode",
  "bs58",
  "byteorder",
  "chrono",
@@ -2192,6 +2171,7 @@ dependencies = [
  "dpp",
  "enum-map",
  "grovedb",
+ "grovedb-bincode",
  "grovedb-costs",
  "grovedb-epoch-based-storage-flags",
  "grovedb-path",
@@ -2224,7 +2204,6 @@ dependencies = [
  "arc-swap",
  "assert_matches",
  "async-trait",
- "bincode",
  "blake3",
  "bls-signatures",
  "chrono",
@@ -2243,6 +2222,7 @@ dependencies = [
  "drive-proof-verifier",
  "envy",
  "file-rotate",
+ "grovedb-bincode",
  "grovedb-commitment-tree",
  "grovedb-path",
  "grovedb-storage",
@@ -2283,12 +2263,12 @@ dependencies = [
 name = "drive-proof-verifier"
 version = "4.2.0-dev.8"
 dependencies = [
- "bincode",
  "dapi-grpc",
  "dash-context-provider",
  "derive_more 1.0.0",
  "dpp",
  "drive",
+ "grovedb-bincode",
  "hex",
  "indexmap 2.14.0",
  "platform-serialization",
@@ -2925,7 +2905,7 @@ dependencies = [
 [[package]]
 name = "git-state"
 version = "0.45.0"
-source = "git+https://github.com/dashpay/rust-dashcore?rev=93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd#93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd"
+source = "git+https://github.com/dashpay/rust-dashcore?rev=057e79cd3e1eeb29676288e9aab76b867d8e707f#057e79cd3e1eeb29676288e9aab76b867d8e707f"
 
 [[package]]
 name = "glob"
@@ -2974,13 +2954,13 @@ dependencies = [
 
 [[package]]
 name = "grovedb"
-version = "5.0.1"
-source = "git+https://github.com/dashpay/grovedb?rev=6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e#6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e"
+version = "6.0.0"
+source = "git+https://github.com/dashpay/grovedb?rev=985ece6574f5fc8fe80db7b304a9a701c0f4afa6#985ece6574f5fc8fe80db7b304a9a701c0f4afa6"
 dependencies = [
  "axum 0.8.9",
- "bincode",
- "bincode_derive",
  "blake3",
+ "grovedb-bincode",
+ "grovedb-bincode-derive",
  "grovedb-bulk-append-tree",
  "grovedb-commitment-tree",
  "grovedb-costs",
@@ -3011,13 +2991,33 @@ dependencies = [
  "zip-extensions",
 ]
 
+[[package]]
+name = "grovedb-bincode"
+version = "2.1.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ce912028682ecc5870a5ad609ea456b76b0bf4ec1ba1eb649400b64ff73a7782"
+dependencies = [
+ "grovedb-bincode-derive",
+ "serde",
+ "unty",
+]
+
+[[package]]
+name = "grovedb-bincode-derive"
+version = "2.1.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "9eaff4e961dcb3e7e55c34c8c6982249036e5aaa19e55f6dab94ebcd4896b03a"
+dependencies = [
+ "virtue 0.0.18",
+]
+
 [[package]]
 name = "grovedb-bulk-append-tree"
-version = "5.0.1"
-source = "git+https://github.com/dashpay/grovedb?rev=6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e#6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e"
+version = "6.0.0"
+source = "git+https://github.com/dashpay/grovedb?rev=985ece6574f5fc8fe80db7b304a9a701c0f4afa6#985ece6574f5fc8fe80db7b304a9a701c0f4afa6"
 dependencies = [
- "bincode",
  "blake3",
+ "grovedb-bincode",
  "grovedb-costs",
  "grovedb-dense-fixed-sized-merkle-tree",
  "grovedb-merkle-mountain-range",
@@ -3031,8 +3031,8 @@ dependencies = [
 
 [[package]]
 name = "grovedb-commitment-tree"
-version = "5.0.1"
-source = "git+https://github.com/dashpay/grovedb?rev=6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e#6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e"
+version = "6.0.0"
+source = "git+https://github.com/dashpay/grovedb?rev=985ece6574f5fc8fe80db7b304a9a701c0f4afa6#985ece6574f5fc8fe80db7b304a9a701c0f4afa6"
 dependencies = [
  "blake3",
  "grovedb-bulk-append-tree",
@@ -3048,8 +3048,8 @@ dependencies = [
 
 [[package]]
 name = "grovedb-costs"
-version = "5.0.1"
-source = "git+https://github.com/dashpay/grovedb?rev=6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e#6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e"
+version = "6.0.0"
+source = "git+https://github.com/dashpay/grovedb?rev=985ece6574f5fc8fe80db7b304a9a701c0f4afa6#985ece6574f5fc8fe80db7b304a9a701c0f4afa6"
 dependencies = [
  "integer-encoding",
  "intmap",
@@ -3058,11 +3058,11 @@ dependencies = [
 
 [[package]]
 name = "grovedb-dense-fixed-sized-merkle-tree"
-version = "5.0.1"
-source = "git+https://github.com/dashpay/grovedb?rev=6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e#6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e"
+version = "6.0.0"
+source = "git+https://github.com/dashpay/grovedb?rev=985ece6574f5fc8fe80db7b304a9a701c0f4afa6#985ece6574f5fc8fe80db7b304a9a701c0f4afa6"
 dependencies = [
- "bincode",
  "blake3",
+ "grovedb-bincode",
  "grovedb-costs",
  "grovedb-query",
  "grovedb-storage",
@@ -3072,11 +3072,11 @@ dependencies = [
 
 [[package]]
 name = "grovedb-element"
-version = "5.0.1"
-source = "git+https://github.com/dashpay/grovedb?rev=6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e#6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e"
+version = "6.0.0"
+source = "git+https://github.com/dashpay/grovedb?rev=985ece6574f5fc8fe80db7b304a9a701c0f4afa6#985ece6574f5fc8fe80db7b304a9a701c0f4afa6"
 dependencies = [
- "bincode",
- "bincode_derive",
+ "grovedb-bincode",
+ "grovedb-bincode-derive",
  "grovedb-path",
  "grovedb-query",
  "grovedb-version",
@@ -3088,8 +3088,8 @@ dependencies = [
 
 [[package]]
 name = "grovedb-epoch-based-storage-flags"
-version = "5.0.1"
-source = "git+https://github.com/dashpay/grovedb?rev=6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e#6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e"
+version = "6.0.0"
+source = "git+https://github.com/dashpay/grovedb?rev=985ece6574f5fc8fe80db7b304a9a701c0f4afa6#985ece6574f5fc8fe80db7b304a9a701c0f4afa6"
 dependencies = [
  "grovedb-costs",
  "hex",
@@ -3100,15 +3100,15 @@ dependencies = [
 
 [[package]]
 name = "grovedb-merk"
-version = "5.0.1"
-source = "git+https://github.com/dashpay/grovedb?rev=6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e#6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e"
+version = "6.0.0"
+source = "git+https://github.com/dashpay/grovedb?rev=985ece6574f5fc8fe80db7b304a9a701c0f4afa6#985ece6574f5fc8fe80db7b304a9a701c0f4afa6"
 dependencies = [
- "bincode",
- "bincode_derive",
  "blake3",
  "byteorder",
  "colored",
  "ed",
+ "grovedb-bincode",
+ "grovedb-bincode-derive",
  "grovedb-costs",
  "grovedb-element",
  "grovedb-path",
@@ -3126,11 +3126,11 @@ dependencies = [
 
 [[package]]
 name = "grovedb-merkle-mountain-range"
-version = "5.0.1"
-source = "git+https://github.com/dashpay/grovedb?rev=6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e#6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e"
+version = "6.0.0"
+source = "git+https://github.com/dashpay/grovedb?rev=985ece6574f5fc8fe80db7b304a9a701c0f4afa6#985ece6574f5fc8fe80db7b304a9a701c0f4afa6"
 dependencies = [
- "bincode",
  "blake3",
+ "grovedb-bincode",
  "grovedb-costs",
  "grovedb-storage",
  "grovedb-version",
@@ -3139,16 +3139,16 @@ dependencies = [
 
 [[package]]
 name = "grovedb-path"
-version = "5.0.1"
-source = "git+https://github.com/dashpay/grovedb?rev=6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e#6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e"
+version = "6.0.0"
+source = "git+https://github.com/dashpay/grovedb?rev=985ece6574f5fc8fe80db7b304a9a701c0f4afa6#985ece6574f5fc8fe80db7b304a9a701c0f4afa6"
 dependencies = [
  "hex",
 ]
 
 [[package]]
 name = "grovedb-private-document-store"
-version = "5.0.1"
-source = "git+https://github.com/dashpay/grovedb?rev=6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e#6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e"
+version = "6.0.0"
+source = "git+https://github.com/dashpay/grovedb?rev=985ece6574f5fc8fe80db7b304a9a701c0f4afa6#985ece6574f5fc8fe80db7b304a9a701c0f4afa6"
 dependencies = [
  "blake3",
  "grovedb-bulk-append-tree",
@@ -3160,12 +3160,12 @@ dependencies = [
 
 [[package]]
 name = "grovedb-query"
-version = "5.0.1"
-source = "git+https://github.com/dashpay/grovedb?rev=6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e#6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e"
+version = "6.0.0"
+source = "git+https://github.com/dashpay/grovedb?rev=985ece6574f5fc8fe80db7b304a9a701c0f4afa6#985ece6574f5fc8fe80db7b304a9a701c0f4afa6"
 dependencies = [
- "bincode",
  "byteorder",
  "ed",
+ "grovedb-bincode",
  "grovedb-costs",
  "grovedb-storage",
  "hex",
@@ -3176,8 +3176,8 @@ dependencies = [
 
 [[package]]
 name = "grovedb-storage"
-version = "5.0.1"
-source = "git+https://github.com/dashpay/grovedb?rev=6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e#6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e"
+version = "6.0.0"
+source = "git+https://github.com/dashpay/grovedb?rev=985ece6574f5fc8fe80db7b304a9a701c0f4afa6#985ece6574f5fc8fe80db7b304a9a701c0f4afa6"
 dependencies = [
  "blake3",
  "grovedb-costs",
@@ -3195,8 +3195,8 @@ dependencies = [
 
 [[package]]
 name = "grovedb-version"
-version = "5.0.1"
-source = "git+https://github.com/dashpay/grovedb?rev=6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e#6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e"
+version = "6.0.0"
+source = "git+https://github.com/dashpay/grovedb?rev=985ece6574f5fc8fe80db7b304a9a701c0f4afa6#985ece6574f5fc8fe80db7b304a9a701c0f4afa6"
 dependencies = [
  "thiserror 2.0.18",
  "versioned-feature-core",
@@ -3204,8 +3204,8 @@ dependencies = [
 
 [[package]]
 name = "grovedb-visualize"
-version = "5.0.1"
-source = "git+https://github.com/dashpay/grovedb?rev=6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e#6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e"
+version = "6.0.0"
+source = "git+https://github.com/dashpay/grovedb?rev=985ece6574f5fc8fe80db7b304a9a701c0f4afa6#985ece6574f5fc8fe80db7b304a9a701c0f4afa6"
 dependencies = [
  "hex",
  "itertools 0.14.0",
@@ -3213,8 +3213,8 @@ dependencies = [
 
 [[package]]
 name = "grovedbg-types"
-version = "5.0.1"
-source = "git+https://github.com/dashpay/grovedb?rev=6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e#6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e"
+version = "6.0.0"
+source = "git+https://github.com/dashpay/grovedb?rev=985ece6574f5fc8fe80db7b304a9a701c0f4afa6#985ece6574f5fc8fe80db7b304a9a701c0f4afa6"
 dependencies = [
  "serde",
  "serde_with 3.21.0",
@@ -4137,13 +4137,11 @@ dependencies = [
 [[package]]
 name = "key-wallet"
 version = "0.45.0"
-source = "git+https://github.com/dashpay/rust-dashcore?rev=93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd#93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd"
+source = "git+https://github.com/dashpay/rust-dashcore?rev=057e79cd3e1eeb29676288e9aab76b867d8e707f#057e79cd3e1eeb29676288e9aab76b867d8e707f"
 dependencies = [
  "aes",
  "async-trait",
  "base58ck",
- "bincode",
- "bincode_derive",
  "bip39",
  "bitflags 2.13.0",
  "bs58",
@@ -4151,6 +4149,8 @@ dependencies = [
  "dashcore-private",
  "dashcore_hashes",
  "getrandom 0.2.17",
+ "grovedb-bincode",
+ "grovedb-bincode-derive",
  "hex",
  "rand 0.8.6",
  "scrypt",
@@ -4166,7 +4166,7 @@ dependencies = [
 [[package]]
 name = "key-wallet-ffi"
 version = "0.45.0"
-source = "git+https://github.com/dashpay/rust-dashcore?rev=93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd#93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd"
+source = "git+https://github.com/dashpay/rust-dashcore?rev=057e79cd3e1eeb29676288e9aab76b867d8e707f#057e79cd3e1eeb29676288e9aab76b867d8e707f"
 dependencies = [
  "cbindgen 0.29.4",
  "dash-network",
@@ -4182,11 +4182,11 @@ dependencies = [
 [[package]]
 name = "key-wallet-manager"
 version = "0.45.0"
-source = "git+https://github.com/dashpay/rust-dashcore?rev=93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd#93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd"
+source = "git+https://github.com/dashpay/rust-dashcore?rev=057e79cd3e1eeb29676288e9aab76b867d8e707f#057e79cd3e1eeb29676288e9aab76b867d8e707f"
 dependencies = [
  "async-trait",
- "bincode",
  "dashcore",
+ "grovedb-bincode",
  "key-wallet",
  "rayon",
  "serde",
@@ -4276,8 +4276,9 @@ checksum = "b6d2cec3eae94f9f509c767b45932f1ada8350c4bdb85af2fcab4a3c14807981"
 
 [[package]]
 name = "librocksdb-sys"
-version = "0.18.0+10.7.5"
-source = "git+https://github.com/QuantumExplorer/rust-rocksdb.git?rev=52772eea7bcd214d1d07d80aa538b1d24e5015b7#52772eea7bcd214d1d07d80aa538b1d24e5015b7"
+version = "0.19.0+11.8.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "4f45e86edad8e88efe97dbf384b4e48e1ff0f111eabf154c7b09d7a1e5fb573c"
 dependencies = [
  "bindgen 0.72.1",
  "bzip2-sys",
@@ -4285,6 +4286,7 @@ dependencies = [
  "libc",
  "libz-sys",
  "lz4-sys",
+ "rustflags",
  "zstd-sys",
 ]
 
@@ -5171,7 +5173,7 @@ dependencies = [
 name = "platform-serialization"
 version = "4.2.0-dev.8"
 dependencies = [
- "bincode",
+ "grovedb-bincode",
  "platform-version",
 ]
 
@@ -5190,9 +5192,9 @@ name = "platform-value"
 version = "4.2.0-dev.8"
 dependencies = [
  "base64 0.22.1",
- "bincode",
  "bs58",
  "ciborium",
+ "grovedb-bincode",
  "hex",
  "indexmap 2.14.0",
  "platform-serialization",
@@ -5216,7 +5218,7 @@ dependencies = [
 name = "platform-version"
 version = "4.2.0-dev.8"
 dependencies = [
- "bincode",
+ "grovedb-bincode",
  "grovedb-version",
  "thiserror 2.0.18",
  "versioned-feature-core",
@@ -5277,13 +5279,13 @@ version = "4.2.0-dev.8"
 dependencies = [
  "anyhow",
  "async-trait",
- "bincode",
  "bs58",
  "cbindgen 0.27.0",
  "dash-network",
  "dash-sdk",
  "dashcore",
  "dpp",
+ "grovedb-bincode",
  "hex",
  "key-wallet",
  "lazy_static",
@@ -5306,7 +5308,6 @@ dependencies = [
  "apple-native-keyring-store",
  "argon2",
  "assert_cmd",
- "bincode",
  "chacha20poly1305",
  "chrono",
  "clap",
@@ -5317,6 +5318,7 @@ dependencies = [
  "fd-lock",
  "filetime",
  "getrandom 0.2.17",
+ "grovedb-bincode",
  "hex",
  "humantime",
  "key-wallet",
@@ -5582,8 +5584,8 @@ version = "0.14.4"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "03da047801ff44bb6a4d407d4860c05fd70bb81714e6b2f3812603d5b145b042"
 dependencies = [
- "heck 0.4.1",
- "itertools 0.10.5",
+ "heck 0.5.0",
+ "itertools 0.14.0",
  "log",
  "multimap",
  "petgraph",
@@ -5604,7 +5606,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "8a56d757972c98b346a9b766e3f02746cde6dd1cd1d1d563472929fdd74bec4d"
 dependencies = [
  "anyhow",
- "itertools 0.10.5",
+ "itertools 0.14.0",
  "proc-macro2",
  "quote",
  "syn 2.0.117",
@@ -5617,7 +5619,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "b570b25f7617e43d59005d0990ccb79e950a423952cea19671b7a876da390adf"
 dependencies = [
  "anyhow",
- "itertools 0.10.5",
+ "itertools 0.14.0",
  "proc-macro2",
  "quote",
  "syn 2.0.117",
@@ -6291,8 +6293,9 @@ dependencies = [
 
 [[package]]
 name = "rocksdb"
-version = "0.24.0"
-source = "git+https://github.com/QuantumExplorer/rust-rocksdb.git?rev=52772eea7bcd214d1d07d80aa538b1d24e5015b7#52772eea7bcd214d1d07d80aa538b1d24e5015b7"
+version = "0.25.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "d8d90add70d1d420ee487bce4a1449880a8d147451c6051b2ee5f8354553dcbf"
 dependencies = [
  "libc",
  "librocksdb-sys",
@@ -6422,7 +6425,6 @@ name = "rs-sdk-ffi"
 version = "4.2.0-dev.8"
 dependencies = [
  "async-trait",
- "bincode",
  "bs58",
  "cbindgen 0.27.0",
  "dash-async",
@@ -6433,6 +6435,7 @@ dependencies = [
  "env_logger",
  "envy",
  "getrandom 0.2.17",
+ "grovedb-bincode",
  "hex",
  "key-wallet",
  "libc",
@@ -6591,6 +6594,12 @@ dependencies = [
  "semver",
 ]
 
+[[package]]
+name = "rustflags"
+version = "0.1.7"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "a39e0e9135d7a7208ee80aa4e3e4b88f0f5ad7be92153ed70686c38a03db2e63"
+
 [[package]]
 name = "rustix"
 version = "0.38.44"
@@ -7223,8 +7232,8 @@ version = "4.2.0-dev.8"
 dependencies = [
  "async-trait",
  "base64 0.22.1",
- "bincode",
  "dpp",
+ "grovedb-bincode",
  "hex",
  "tracing",
  "zeroize",
@@ -7358,9 +7367,9 @@ dependencies = [
 name = "strategy-tests"
 version = "4.2.0-dev.8"
 dependencies = [
- "bincode",
  "dpp",
  "drive",
+ "grovedb-bincode",
  "hex",
  "platform-version",
  "rand 0.8.6",
@@ -8737,8 +8746,8 @@ version = "4.2.0-dev.8"
 dependencies = [
  "anyhow",
  "async-trait",
- "bincode",
  "dpp",
+ "grovedb-bincode",
  "hex",
  "itertools 0.13.0",
  "js-sys",
@@ -8761,9 +8770,9 @@ version = "4.2.0-dev.8"
 dependencies = [
  "anyhow",
  "async-trait",
- "bincode",
  "dpp",
  "dpp-json-convertible-derive",
+ "grovedb-bincode",
  "hex",
  "js-sys",
  "serde",
@@ -8779,12 +8788,12 @@ name = "wasm-drive-verify"
 version = "4.2.0-dev.8"
 dependencies = [
  "base64 0.22.1",
- "bincode",
  "bs58",
  "ciborium",
  "console_error_panic_hook",
  "dpp",
  "drive",
+ "grovedb-bincode",
  "hex",
  "indexmap 2.14.0",
  "js-sys",
diff --git a/Cargo.toml b/Cargo.toml
index 5fc7a2a957c..bb78be4d619 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -53,14 +53,15 @@ members = [
 ]
 
 [workspace.dependencies]
-dashcore = { git = "https://github.com/dashpay/rust-dashcore", rev = "93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd" }
-dash-network-seeds = { git = "https://github.com/dashpay/rust-dashcore", rev = "93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd" }
-dash-spv = { git = "https://github.com/dashpay/rust-dashcore", rev = "93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd" }
-key-wallet = { git = "https://github.com/dashpay/rust-dashcore", rev = "93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd" }
-key-wallet-ffi = { git = "https://github.com/dashpay/rust-dashcore", rev = "93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd" }
-key-wallet-manager = { git = "https://github.com/dashpay/rust-dashcore", rev = "93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd" }
-dash-network = { git = "https://github.com/dashpay/rust-dashcore", rev = "93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd" }
-dashcore-rpc = { git = "https://github.com/dashpay/rust-dashcore", rev = "93260bf39bac5d9d09e89bfb45e9ea3ff7fdcbcd" }
+bincode = { package = "grovedb-bincode", version = "=2.1.0" }
+dashcore = { git = "https://github.com/dashpay/rust-dashcore", rev = "057e79cd3e1eeb29676288e9aab76b867d8e707f" }
+dash-network-seeds = { git = "https://github.com/dashpay/rust-dashcore", rev = "057e79cd3e1eeb29676288e9aab76b867d8e707f" }
+dash-spv = { git = "https://github.com/dashpay/rust-dashcore", rev = "057e79cd3e1eeb29676288e9aab76b867d8e707f" }
+key-wallet = { git = "https://github.com/dashpay/rust-dashcore", rev = "057e79cd3e1eeb29676288e9aab76b867d8e707f" }
+key-wallet-ffi = { git = "https://github.com/dashpay/rust-dashcore", rev = "057e79cd3e1eeb29676288e9aab76b867d8e707f" }
+key-wallet-manager = { git = "https://github.com/dashpay/rust-dashcore", rev = "057e79cd3e1eeb29676288e9aab76b867d8e707f" }
+dash-network = { git = "https://github.com/dashpay/rust-dashcore", rev = "057e79cd3e1eeb29676288e9aab76b867d8e707f" }
+dashcore-rpc = { git = "https://github.com/dashpay/rust-dashcore", rev = "057e79cd3e1eeb29676288e9aab76b867d8e707f" }
 tokio-metrics = "0.5"
 
 # Size-tuned profile for the iOS `rs-unified-sdk-ffi` staticlib, which
diff --git a/Dockerfile b/Dockerfile
index 846150203f7..13a762334ce 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -306,7 +306,7 @@ ONBUILD ARG CARGO_BUILD_PROFILE=dev
 
 RUN --mount=type=secret,id=AWS <<EOS
 set -ex -o pipefail
-git clone https://github.com/facebook/rocksdb.git -b v10.4.2 --depth 1 .
+git clone https://github.com/facebook/rocksdb.git -b v11.8.1 --depth 1 .
 source /root/env
 
 make -j$(nproc) static_lib
diff --git a/packages/rs-dpp/Cargo.toml b/packages/rs-dpp/Cargo.toml
index a0f6f0b6889..24b587524dd 100644
--- a/packages/rs-dpp/Cargo.toml
+++ b/packages/rs-dpp/Cargo.toml
@@ -47,7 +47,7 @@ jsonschema = { git = "https://github.com/dashpay/jsonschema-rs", branch = "confi
 ], optional = true }
 lazy_static = { version = "1.4" }
 num_enum = "0.7"
-bincode = { version = "=2.0.1", features = ["serde"] }
+bincode = { workspace = true, features = ["serde"] }
 rand = { version = "0.8.5", features = ["small_rng"] }
 regex = { version = "1.10.4" }
 serde = { version = "1.0.219", features = ["derive"] }
@@ -71,7 +71,7 @@ strum = { version = "0.26", features = ["derive"] }
 json-schema-compatibility-validator = { path = '../rs-json-schema-compatibility-validator', optional = true }
 once_cell = "1.19.0"
 tracing = { version = "0.1.41" }
-grovedb-commitment-tree = { git = "https://github.com/dashpay/grovedb", rev = "6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e", optional = true }
+grovedb-commitment-tree = { git = "https://github.com/dashpay/grovedb", rev = "985ece6574f5fc8fe80db7b304a9a701c0f4afa6", optional = true }
 
 [dev-dependencies]
 tokio = { version = "1.40", features = ["full"] }
diff --git a/packages/rs-drive-abci/Cargo.toml b/packages/rs-drive-abci/Cargo.toml
index 843fb9caee3..53b072580c8 100644
--- a/packages/rs-drive-abci/Cargo.toml
+++ b/packages/rs-drive-abci/Cargo.toml
@@ -14,7 +14,7 @@ license = "MIT"
 
 [dependencies]
 arc-swap = "1.7.0"
-bincode = { version = "=2.0.1", features = ["serde"] }
+bincode = { workspace = true, features = ["serde"] }
 ciborium = { version = "0.2.2" }
 chrono = "0.4.35"
 serde = { version = "1.0.219", features = ["derive"] }
@@ -82,11 +82,11 @@ derive_more = { version = "1.0", features = ["from", "deref", "deref_mut"] }
 async-trait = "0.1.77"
 console-subscriber = { version = "0.4", optional = true }
 bls-signatures = { git = "https://github.com/dashpay/bls-signatures", rev = "0842b17583888e8f46c252a4ee84cdfd58e0546f", optional = true }
-grovedb-commitment-tree = { git = "https://github.com/dashpay/grovedb", rev = "6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e" }
+grovedb-commitment-tree = { git = "https://github.com/dashpay/grovedb", rev = "985ece6574f5fc8fe80db7b304a9a701c0f4afa6" }
 nonempty = "0.11"
 # Shielded-pool snapshot needs raw RocksDB SstFileWriter + ingest_external_file_cf
 # bindings, and blake3 for the snapshot-file checksum.
-rocksdb = { git = "https://github.com/QuantumExplorer/rust-rocksdb.git", rev = "52772eea7bcd214d1d07d80aa538b1d24e5015b7" }
+rocksdb = "0.25.0"
 blake3 = "1.5"
 
 [dev-dependencies]
@@ -108,7 +108,7 @@ dpp = { path = "../rs-dpp", default-features = false, features = [
 drive = { path = "../rs-drive", features = ["fixtures-and-mocks"] }
 drive-proof-verifier = { path = "../rs-drive-proof-verifier" }
 strategy-tests = { path = "../strategy-tests" }
-grovedb-commitment-tree = { git = "https://github.com/dashpay/grovedb", rev = "6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e", features = ["client"] }
+grovedb-commitment-tree = { git = "https://github.com/dashpay/grovedb", rev = "985ece6574f5fc8fe80db7b304a9a701c0f4afa6", features = ["client"] }
 assert_matches = "1.5.0"
 drive-abci = { path = ".", features = ["testing-config", "mocks", "shielded_test_data"] }
 bls-signatures = { git = "https://github.com/dashpay/bls-signatures", rev = "0842b17583888e8f46c252a4ee84cdfd58e0546f" }
@@ -117,13 +117,13 @@ dash-platform-macros = { path = "../rs-dash-platform-macros" }
 libc = "0.2"
 
 # For tests of grovedb verify
-rocksdb = { git = "https://github.com/QuantumExplorer/rust-rocksdb.git", rev = "52772eea7bcd214d1d07d80aa538b1d24e5015b7" }
+rocksdb = "0.25.0"
 integer-encoding = { version = "4.0.0" }
 
 # For dump_only_default_and_aux_cfs_under_shielded_subtree_prefix — same
 # subtree-prefix algorithm grovedb uses internally.
-grovedb-path = { git = "https://github.com/dashpay/grovedb", rev = "6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e" }
-grovedb-storage = { git = "https://github.com/dashpay/grovedb", rev = "6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e" }
+grovedb-path = { git = "https://github.com/dashpay/grovedb", rev = "985ece6574f5fc8fe80db7b304a9a701c0f4afa6" }
+grovedb-storage = { git = "https://github.com/dashpay/grovedb", rev = "985ece6574f5fc8fe80db7b304a9a701c0f4afa6" }
 
 [features]
 default = ["bls-signatures"]
diff --git a/packages/rs-drive-abci/src/execution/validation/state_transition/state_transitions/batch/tests/document/deletion.rs b/packages/rs-drive-abci/src/execution/validation/state_transition/state_transitions/batch/tests/document/deletion.rs
index 0c47b893b05..27bcd8a748b 100644
--- a/packages/rs-drive-abci/src/execution/validation/state_transition/state_transitions/batch/tests/document/deletion.rs
+++ b/packages/rs-drive-abci/src/execution/validation/state_transition/state_transitions/batch/tests/document/deletion.rs
@@ -406,8 +406,10 @@ mod deletion_tests {
     }
 
     #[tokio::test]
-    async fn test_document_delete_on_document_type_that_keeps_history_replays_protocol_version_13() {
-        run_document_delete_on_document_type_that_keeps_history_at_protocol_version(13, false).await;
+    async fn test_document_delete_on_document_type_that_keeps_history_replays_protocol_version_13()
+    {
+        run_document_delete_on_document_type_that_keeps_history_at_protocol_version(13, false)
+            .await;
     }
 
     /// Exercises an already-deployed contradictory contract at both sides of
diff --git a/packages/rs-drive-abci/src/execution/validation/state_transition/state_transitions/masternode_vote/mod.rs b/packages/rs-drive-abci/src/execution/validation/state_transition/state_transitions/masternode_vote/mod.rs
index 3707d37c101..de0ad97a00d 100644
--- a/packages/rs-drive-abci/src/execution/validation/state_transition/state_transitions/masternode_vote/mod.rs
+++ b/packages/rs-drive-abci/src/execution/validation/state_transition/state_transitions/masternode_vote/mod.rs
@@ -3007,6 +3007,19 @@ mod tests {
 
                 let index_name = "parentNameAndLabel".to_string();
 
+                // The verifier has to walk the proof the way the request asked
+                // for it, as the SDK's proof verifier does when it mirrors the
+                // request: grovedb refuses a layer proof read in the other
+                // direction.
+                let verifier_start_at = start_at_identifier_info.as_ref().map(|info| {
+                    let start_identifier: [u8; 32] = info
+                        .start_identifier
+                        .clone()
+                        .try_into()
+                        .expect("expected a 32 byte start identifier");
+                    (start_identifier, info.start_identifier_included)
+                });
+
                 let query_validation_result = platform
                     .query_contested_resource_voters_for_identity(
                         GetContestedResourceVotersForIdentityRequest {
@@ -3063,9 +3076,9 @@ mod tests {
                         },
                         contestant_id: contender_id,
                         offset: None,
-                        limit: None,
-                        start_at: None,
-                        order_ascending: true,
+                        limit: count.map(|count| count as u16),
+                        start_at: verifier_start_at,
+                        order_ascending,
                     };
 
                 let (_, voters) = resolved_contested_document_vote_poll_drive_query
@@ -3477,6 +3490,53 @@ mod tests {
                 assert_eq!(voters_3, voters_3_desc);
 
                 assert_eq!(voters_3.len(), 8);
+
+                // Paged proved requests: a limit smaller than the 50 available
+                // voters and a cursor, inclusive and exclusive, in both
+                // directions. `voters_1` is the full ascending sequence, so each
+                // page must equal the matching slice of it, and the verifier
+                // must run with the request's own order, count and cursor for
+                // the proof to verify at all.
+                let cursor = |index: usize, included: bool| {
+                    Some(
+                        get_contested_resource_voters_for_identity_request_v0::StartAtIdentifierInfo {
+                            start_identifier: voters_1[index].to_vec(),
+                            start_identifier_included: included,
+                        },
+                    )
+                };
+                let page = |count: u32, order_ascending: bool, start_at| {
+                    get_proved_contestant_votes(
+                        &platform,
+                        &platform_state,
+                        dpns_contract.as_ref(),
+                        contender_1.id(),
+                        "quantum",
+                        Some(count),
+                        order_ascending,
+                        start_at,
+                        platform_version,
+                    )
+                };
+
+                assert_eq!(page(10, true, cursor(9, true)), voters_1[9..19].to_vec());
+                assert_eq!(page(10, true, cursor(9, false)), voters_1[10..20].to_vec());
+
+                let descending_from_40_inclusive: Vec<Identifier> =
+                    voters_1[31..=40].iter().rev().copied().collect();
+                assert_eq!(
+                    page(10, false, cursor(40, true)),
+                    descending_from_40_inclusive
+                );
+                let descending_from_40_exclusive: Vec<Identifier> =
+                    voters_1[30..=39].iter().rev().copied().collect();
+                assert_eq!(
+                    page(10, false, cursor(40, false)),
+                    descending_from_40_exclusive
+                );
+
+                // A short final page: the limit exceeds what remains.
+                assert_eq!(page(10, true, cursor(45, false)), voters_1[46..50].to_vec());
             }
         }
 
diff --git a/packages/rs-drive-proof-verifier/Cargo.toml b/packages/rs-drive-proof-verifier/Cargo.toml
index d0246c9a8eb..fe5705e4b1f 100644
--- a/packages/rs-drive-proof-verifier/Cargo.toml
+++ b/packages/rs-drive-proof-verifier/Cargo.toml
@@ -31,7 +31,7 @@ dpp = { path = "../rs-dpp", features = [
 dash-context-provider = { path = "../rs-context-provider", features = [
   "mocks",
 ] }
-bincode = { version = "=2.0.1", features = ["serde"] }
+bincode = { workspace = true, features = ["serde"] }
 platform-serialization-derive = { path = "../rs-platform-serialization-derive", optional = true }
 platform-serialization = { path = "../rs-platform-serialization" }
 tenderdash-abci = { git = "https://github.com/dashpay/rs-tenderdash-abci", tag = "v1.5.1", features = [
diff --git a/packages/rs-drive/Cargo.toml b/packages/rs-drive/Cargo.toml
index fcbb004cc3d..6c60c2559e7 100644
--- a/packages/rs-drive/Cargo.toml
+++ b/packages/rs-drive/Cargo.toml
@@ -14,7 +14,7 @@ license = "MIT"
 resolver = "2"
 
 [dependencies]
-bincode = { version = "=2.0.1", features = ["serde"] }
+bincode = { workspace = true, features = ["serde"] }
 platform-version = { path = "../rs-platform-version" }
 # used to convert integers to bytes, needed in verifier
 integer-encoding = { version = "4.0.0" }
@@ -52,13 +52,13 @@ enum-map = { version = "2.0.3", optional = true }
 intmap = { version = "3.0.1", features = ["serde"], optional = true }
 chrono = { version = "0.4.35", optional = true }
 itertools = { version = "0.13", optional = true }
-grovedb = { git = "https://github.com/dashpay/grovedb", rev = "6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e", optional = true, default-features = false }
-grovedb-costs = { git = "https://github.com/dashpay/grovedb", rev = "6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e", optional = true }
-grovedb-path = { git = "https://github.com/dashpay/grovedb", rev = "6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e" }
-grovedb-query = { git = "https://github.com/dashpay/grovedb", rev = "6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e" }
-grovedb-storage = { git = "https://github.com/dashpay/grovedb", rev = "6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e", optional = true }
-grovedb-version = { git = "https://github.com/dashpay/grovedb", rev = "6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e" }
-grovedb-epoch-based-storage-flags = { git = "https://github.com/dashpay/grovedb", rev = "6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e" }
+grovedb = { git = "https://github.com/dashpay/grovedb", rev = "985ece6574f5fc8fe80db7b304a9a701c0f4afa6", optional = true, default-features = false }
+grovedb-costs = { git = "https://github.com/dashpay/grovedb", rev = "985ece6574f5fc8fe80db7b304a9a701c0f4afa6", optional = true }
+grovedb-path = { git = "https://github.com/dashpay/grovedb", rev = "985ece6574f5fc8fe80db7b304a9a701c0f4afa6" }
+grovedb-query = { git = "https://github.com/dashpay/grovedb", rev = "985ece6574f5fc8fe80db7b304a9a701c0f4afa6" }
+grovedb-storage = { git = "https://github.com/dashpay/grovedb", rev = "985ece6574f5fc8fe80db7b304a9a701c0f4afa6", optional = true }
+grovedb-version = { git = "https://github.com/dashpay/grovedb", rev = "985ece6574f5fc8fe80db7b304a9a701c0f4afa6" }
+grovedb-epoch-based-storage-flags = { git = "https://github.com/dashpay/grovedb", rev = "985ece6574f5fc8fe80db7b304a9a701c0f4afa6" }
 
 [dev-dependencies]
 criterion = "0.5"
diff --git a/packages/rs-drive/src/query/mod.rs b/packages/rs-drive/src/query/mod.rs
index 27c23346f06..a5f8662d2c2 100644
--- a/packages/rs-drive/src/query/mod.rs
+++ b/packages/rs-drive/src/query/mod.rs
@@ -2042,23 +2042,73 @@ impl<'a> DriveDocumentQuery<'a> {
                 &platform_version.drive.grove_version,
             )
             .map_err(Error::from)?;
-            merged.query.limit = limit.map(|a| a.saturating_add(1));
-            // The merged root must be walked ascending regardless of the
-            // page's `orderBy` direction: the `limit + 1` above reserves
-            // one result slot for the cursor document, and the prover
-            // spends the budget in root traversal order. Ascending, the
-            // cursor branch (key `[0]`) is visited first and takes its
-            // reserved slot; descending, the index branch sorts first,
-            // consumes the whole budget mid-timeline, and the prover then
-            // omits the cursor subtree's lower layer — an unverifiable
-            // proof (the verifier extracts the cursor document from the
-            // proof before rebuilding the main query). Only this
-            // synthesized root flips: each input's own query lands intact
-            // inside a subquery branch, keeping in-branch result order.
-            // The verifier never rebuilds the merged query — it runs the
-            // cursor and main queries as separate subset queries — so the
-            // root's direction is not client-visible.
-            merged.query.query.left_to_right = true;
+            // Where the merge lands decides how the two queries combine. An
+            // index-ordered page lives under its index tree while the cursor
+            // lookup lives under the primary-key tree, so the merge synthesizes
+            // a root one level above both with each query in its own branch.
+            // A `$id`-ordered page addresses the primary-key tree directly: the
+            // cursor lookup shares that path (or, for a history-keeping type,
+            // sits one level below it), so the merge point is the page query's
+            // own root layer and the merged query IS that layer.
+            let cursor_on_page_layer = merged.path == main_path_query.path;
+            // The cursor's key on that shared layer: the cursor query's own key
+            // when both paths coincide, otherwise the path component the cursor
+            // query descends through.
+            let cursor_key_on_page_layer: Option<&[u8]> = if !cursor_on_page_layer {
+                None
+            } else if let Some(component) = start_at_path_query.path.get(merged.path.len()) {
+                Some(component.as_slice())
+            } else {
+                match start_at_path_query.query.query.items.as_slice() {
+                    [QueryItem::Key(cursor_key)] => Some(cursor_key.as_slice()),
+                    _ => None,
+                }
+            };
+            // On a shared layer the cursor row is already one of the page's
+            // rows whenever the page's own items cover it (an inclusive
+            // `startAt` on a range, or an `in` list that names the cursor). It
+            // then needs no reserved slot: reserving one would make the layer
+            // return `limit + 1` rows matching the page query, which the
+            // verifier rejects as more data than its limit.
+            let cursor_row_in_page = cursor_key_on_page_layer.is_some_and(|cursor_key| {
+                main_path_query
+                    .query
+                    .query
+                    .items
+                    .iter()
+                    .any(|item| item.contains(cursor_key))
+            });
+            merged.query.limit = limit.map(|a| {
+                if cursor_row_in_page {
+                    a
+                } else {
+                    a.saturating_add(1)
+                }
+            });
+            if !cursor_on_page_layer {
+                // A synthesized root must be walked ascending regardless of
+                // the page's `orderBy` direction: the `limit + 1` above
+                // reserves one result slot for the cursor document, and the
+                // prover spends the budget in root traversal order. Ascending,
+                // the cursor branch (key `[0]`) is visited first and takes its
+                // reserved slot; descending, the index branch sorts first,
+                // consumes the whole budget mid-timeline, and the prover then
+                // omits the cursor subtree's lower layer — an unverifiable
+                // proof (the verifier extracts the cursor document from the
+                // proof before rebuilding the main query). Only this
+                // synthesized root flips: each input's own query lands intact
+                // inside a subquery branch, keeping in-branch result order.
+                // The verifier never rebuilds the merged query — it runs the
+                // cursor and main queries as separate subset queries — so the
+                // root's direction is not client-visible.
+                //
+                // A shared layer has no synthesized root to flip: the merged
+                // query IS the page query's own layer, which the verifier
+                // walks in the requested direction, and the cursor row sits at
+                // the page's boundary, so the requested direction reaches it
+                // first anyway.
+                merged.query.query.left_to_right = true;
+            }
             Ok(merged)
         } else {
             Ok(main_path_query)
diff --git a/packages/rs-drive/src/util/grove_operations/batch_delete/v0/mod.rs b/packages/rs-drive/src/util/grove_operations/batch_delete/v0/mod.rs
index a1b7680314f..545bf40c4e1 100644
--- a/packages/rs-drive/src/util/grove_operations/batch_delete/v0/mod.rs
+++ b/packages/rs-drive/src/util/grove_operations/batch_delete/v0/mod.rs
@@ -23,6 +23,7 @@ impl Drive {
         drive_version: &DriveVersion,
     ) -> Result<(), Error> {
         let options = DeleteOptions {
+            propagate_backward_references: false,
             allow_deleting_non_empty_trees: false,
             deleting_non_empty_trees_returns_error: true,
             base_root_storage_is_free: true,
diff --git a/packages/rs-drive/src/util/grove_operations/batch_delete_items_in_path_query/v0/mod.rs b/packages/rs-drive/src/util/grove_operations/batch_delete_items_in_path_query/v0/mod.rs
index 01952b937a0..9b90ccb60cd 100644
--- a/packages/rs-drive/src/util/grove_operations/batch_delete_items_in_path_query/v0/mod.rs
+++ b/packages/rs-drive/src/util/grove_operations/batch_delete_items_in_path_query/v0/mod.rs
@@ -80,6 +80,7 @@ impl Drive {
             let current_batch_operations =
                 LowLevelDriveOperation::grovedb_operations_batch(drive_operations);
             let options = DeleteOptions {
+                propagate_backward_references: false,
                 allow_deleting_non_empty_trees: false,
                 deleting_non_empty_trees_returns_error: true,
                 base_root_storage_is_free: true,
diff --git a/packages/rs-drive/src/util/grove_operations/batch_move/v0/mod.rs b/packages/rs-drive/src/util/grove_operations/batch_move/v0/mod.rs
index 3b4c7025471..fe0611c239f 100644
--- a/packages/rs-drive/src/util/grove_operations/batch_move/v0/mod.rs
+++ b/packages/rs-drive/src/util/grove_operations/batch_move/v0/mod.rs
@@ -60,6 +60,7 @@ impl Drive {
         // ── 2. Build the delete op ──────────────────────────────────────────
         let current_batch = LowLevelDriveOperation::grovedb_operations_batch(drive_operations);
         let delete_opts = DeleteOptions {
+            propagate_backward_references: false,
             allow_deleting_non_empty_trees: false,
             deleting_non_empty_trees_returns_error: true,
             base_root_storage_is_free: true,
diff --git a/packages/rs-drive/src/util/grove_operations/batch_move_items_in_path_query/v0/mod.rs b/packages/rs-drive/src/util/grove_operations/batch_move_items_in_path_query/v0/mod.rs
index b65b3ccb69e..b8d88730cdc 100644
--- a/packages/rs-drive/src/util/grove_operations/batch_move_items_in_path_query/v0/mod.rs
+++ b/packages/rs-drive/src/util/grove_operations/batch_move_items_in_path_query/v0/mod.rs
@@ -86,6 +86,7 @@ impl Drive {
             let current_batch_operations =
                 LowLevelDriveOperation::grovedb_operations_batch(drive_operations);
             let options = DeleteOptions {
+                propagate_backward_references: false,
                 allow_deleting_non_empty_trees: false,
                 deleting_non_empty_trees_returns_error: true,
                 base_root_storage_is_free: true,
diff --git a/packages/rs-drive/src/util/grove_operations/batch_remove_raw/v0/mod.rs b/packages/rs-drive/src/util/grove_operations/batch_remove_raw/v0/mod.rs
index 9da64b2262c..6ad8f69a6d8 100644
--- a/packages/rs-drive/src/util/grove_operations/batch_remove_raw/v0/mod.rs
+++ b/packages/rs-drive/src/util/grove_operations/batch_remove_raw/v0/mod.rs
@@ -29,6 +29,7 @@ impl Drive {
         let mut current_batch_operations =
             LowLevelDriveOperation::grovedb_operations_batch(drive_operations);
         let options = DeleteOptions {
+            propagate_backward_references: false,
             allow_deleting_non_empty_trees: false,
             deleting_non_empty_trees_returns_error: true,
             base_root_storage_is_free: true,
diff --git a/packages/rs-drive/src/util/grove_operations/grove_apply_batch_with_add_costs/v0/mod.rs b/packages/rs-drive/src/util/grove_operations/grove_apply_batch_with_add_costs/v0/mod.rs
index e44000512d7..2d1b08a6c3a 100644
--- a/packages/rs-drive/src/util/grove_operations/grove_apply_batch_with_add_costs/v0/mod.rs
+++ b/packages/rs-drive/src/util/grove_operations/grove_apply_batch_with_add_costs/v0/mod.rs
@@ -63,6 +63,7 @@ impl Drive {
         let cost_context = self.grove.apply_batch_with_element_flags_update(
             ops.operations,
             Some(BatchApplyOptions {
+                propagate_backward_references: false,
                 validate_insertion_does_not_override: validate,
                 validate_insertion_does_not_override_tree: validate,
                 disable_operation_consistency_check: !self.config.batching_consistency_verification,
diff --git a/packages/rs-drive/src/util/grove_operations/grove_apply_partial_batch_with_add_costs/v0/mod.rs b/packages/rs-drive/src/util/grove_operations/grove_apply_partial_batch_with_add_costs/v0/mod.rs
index a736817ab8d..f1e87a64598 100644
--- a/packages/rs-drive/src/util/grove_operations/grove_apply_partial_batch_with_add_costs/v0/mod.rs
+++ b/packages/rs-drive/src/util/grove_operations/grove_apply_partial_batch_with_add_costs/v0/mod.rs
@@ -48,6 +48,7 @@ impl Drive {
         let cost_context = self.grove.apply_partial_batch_with_element_flags_update(
             ops.operations,
             Some(BatchApplyOptions {
+                propagate_backward_references: false,
                 validate_insertion_does_not_override: validate,
                 validate_insertion_does_not_override_tree: validate,
                 disable_operation_consistency_check: false,
diff --git a/packages/rs-drive/src/util/grove_operations/grove_batch_operations_costs/v0/mod.rs b/packages/rs-drive/src/util/grove_operations/grove_batch_operations_costs/v0/mod.rs
index 77d8d247a5c..3d8573a61b2 100644
--- a/packages/rs-drive/src/util/grove_operations/grove_batch_operations_costs/v0/mod.rs
+++ b/packages/rs-drive/src/util/grove_operations/grove_batch_operations_costs/v0/mod.rs
@@ -24,6 +24,7 @@ impl Drive {
             AverageCaseCostsType(estimated_layer_info),
             ops.operations,
             Some(BatchApplyOptions {
+                propagate_backward_references: false,
                 validate_insertion_does_not_override: validate,
                 validate_insertion_does_not_override_tree: validate,
                 disable_operation_consistency_check: false,
diff --git a/packages/rs-drive/src/util/grove_operations/grove_delete/v0/mod.rs b/packages/rs-drive/src/util/grove_operations/grove_delete/v0/mod.rs
index d5e0c2ab1e2..c34356d26de 100644
--- a/packages/rs-drive/src/util/grove_operations/grove_delete/v0/mod.rs
+++ b/packages/rs-drive/src/util/grove_operations/grove_delete/v0/mod.rs
@@ -18,6 +18,7 @@ impl Drive {
         drive_version: &DriveVersion,
     ) -> Result<(), Error> {
         let options = DeleteOptions {
+            propagate_backward_references: false,
             allow_deleting_non_empty_trees: false,
             deleting_non_empty_trees_returns_error: true,
             base_root_storage_is_free: true,
diff --git a/packages/rs-drive/src/verify/document/verify_start_at_document_in_proof/v0/mod.rs b/packages/rs-drive/src/verify/document/verify_start_at_document_in_proof/v0/mod.rs
index 301afe65148..d22ff197018 100644
--- a/packages/rs-drive/src/verify/document/verify_start_at_document_in_proof/v0/mod.rs
+++ b/packages/rs-drive/src/verify/document/verify_start_at_document_in_proof/v0/mod.rs
@@ -43,10 +43,25 @@ impl DriveDocumentQuery<'_> {
         self.validate_in_clause_shape(platform_version)?;
         let (start_at_document_path, start_at_document_key) =
             self.start_at_document_path_and_key(&document_id);
-        let path_query = PathQuery::new_single_key(
+        let mut path_query = PathQuery::new_single_key(
             start_at_document_path.clone(),
             start_at_document_key.clone(),
         );
+        if is_proof_subset {
+            // Inside a page proof this one-key lookup is merged with the main
+            // query, and grovedb's merge needs every input to walk the same
+            // way, so the prover emits the cursor layer in the page's
+            // `orderBy` direction (see `construct_path_query_operations`).
+            // A V1 layer proof only verifies in the op family of the
+            // direction it is read in, so read it the same way here. A single
+            // key decodes identically either way; this only selects the op
+            // family, and the direction never depends on the cursor document.
+            path_query.query.query.left_to_right = self
+                .construct_path_query(None, platform_version)?
+                .query
+                .query
+                .left_to_right;
+        }
         let (root_hash, mut proved_key_values) = if is_proof_subset {
             GroveDb::verify_subset_query(proof, &path_query, &platform_version.drive.grove_version)?
         } else {
diff --git a/packages/rs-drive/src/verify/system/verify_elements/v0/mod.rs b/packages/rs-drive/src/verify/system/verify_elements/v0/mod.rs
index c03c15b4176..46dba77a198 100644
--- a/packages/rs-drive/src/verify/system/verify_elements/v0/mod.rs
+++ b/packages/rs-drive/src/verify/system/verify_elements/v0/mod.rs
@@ -37,7 +37,9 @@ impl Drive {
         keys: Vec<Vec<u8>>,
         platform_version: &PlatformVersion,
     ) -> Result<(RootHash, BTreeMap<Vec<u8>, Option<Element>>), Error> {
-        let mut query = Query::new();
+        // Match prove_elements_v0: Query::default() emits a right-to-left proof.
+        // GroveDB verifies that the proof operation family matches this direction.
+        let mut query = Query::new_with_direction(false);
         query.insert_keys(keys);
         let path_query = PathQuery::new(path, SizedQuery::new(query, None, None));
 
diff --git a/packages/rs-drive/tests/query_tests.rs b/packages/rs-drive/tests/query_tests.rs
index de895e70f2e..59d47298a03 100644
--- a/packages/rs-drive/tests/query_tests.rs
+++ b/packages/rs-drive/tests/query_tests.rs
@@ -8167,6 +8167,97 @@ mod tests {
     }
 
     #[cfg(all(feature = "server", feature = "verify"))]
+    #[test]
+    fn test_proved_primary_key_cursor_pages_in_both_directions() {
+        // A `$id`-ordered page with a cursor merges the cursor lookup and the
+        // page query at the same path: the primary-key tree. The merge then has
+        // no synthesized root above the page query, so the document layer must
+        // keep the requested direction in the proof; the verifier reads both
+        // the cursor lookup and the page in that direction, and GroveDB refuses
+        // a V1 layer proof read in the other op family.
+        use dpp::document::DocumentV0Getters;
+        use dpp::prelude::Identifier;
+        use platform_value::string_encoding::Encoding;
+
+        let platform_version = PlatformVersion::latest();
+        let (drive, contract) = setup_family_tests(10, 73509, platform_version);
+        let person_document_type = contract
+            .document_type_for_name("person")
+            .expect("contract should have a person document type");
+        let root_hash = drive
+            .grove
+            .root_hash(None, &platform_version.drive.grove_version)
+            .unwrap()
+            .expect("there is always a root hash");
+
+        let ids_of = |results: &[Vec<u8>]| -> Vec<Identifier> {
+            results
+                .iter()
+                .map(|bytes| {
+                    Document::from_bytes(bytes, person_document_type, platform_version)
+                        .expect("we should be able to deserialize the document")
+                        .id()
+                })
+                .collect()
+        };
+        let build = |query_value: serde_json::Value| {
+            let cbor = cbor_serializer::serializable_value_to_cbor(&query_value, None)
+                .expect("expected to serialize to cbor");
+            DriveDocumentQuery::from_cbor(
+                cbor.as_slice(),
+                &contract,
+                person_document_type,
+                &drive.config,
+                platform_version,
+            )
+            .expect("query should be built")
+        };
+
+        let (all_results, _, _) = build(json!({
+            "limit": 100,
+            "orderBy": [["$id", "asc"]],
+        }))
+        .execute_raw_results_no_proof(&drive, None, None, platform_version)
+        .expect("query should be executed");
+        let ascending_ids = ids_of(&all_results);
+        assert_eq!(ascending_ids.len(), 10);
+
+        for (ascending, included) in [(true, true), (true, false), (false, true), (false, false)] {
+            let ordered: Vec<Identifier> = if ascending {
+                ascending_ids.clone()
+            } else {
+                ascending_ids.iter().rev().cloned().collect()
+            };
+            let cursor = ordered[3];
+            let expected: Vec<Identifier> = if included {
+                ordered[3..6].to_vec()
+            } else {
+                ordered[4..7].to_vec()
+            };
+            let cursor_key = if included { "startAt" } else { "startAfter" };
+            let case = format!(
+                "orderBy $id {} with {cursor_key}",
+                if ascending { "asc" } else { "desc" }
+            );
+
+            let query = build(json!({
+                cursor_key: cursor.to_string(Encoding::Base58),
+                "limit": 3,
+                "orderBy": [["$id", if ascending { "asc" } else { "desc" }]],
+            }));
+            let (results, _, _) = query
+                .execute_raw_results_no_proof(&drive, None, None, platform_version)
+                .expect("query should be executed");
+            assert_eq!(ids_of(&results), expected, "{case}: unproved page");
+
+            let (proof_root_hash, proof_results, _) = query
+                .execute_with_proof_only_get_elements(&drive, None, None, platform_version)
+                .unwrap_or_else(|e| panic!("{case}: proved page should verify: {e}"));
+            assert_eq!(root_hash, proof_root_hash, "{case}: proof root hash");
+            assert_eq!(results, proof_results, "{case}: proved page");
+        }
+    }
+
     #[test]
     fn test_proved_desc_range_continuation_page_includes_cursor_document() {
         // Issue #4540: a continuation page over a non-unique
diff --git a/packages/rs-drive/tests/query_tests_history.rs b/packages/rs-drive/tests/query_tests_history.rs
index a92fad69c74..30a7d004f41 100644
--- a/packages/rs-drive/tests/query_tests_history.rs
+++ b/packages/rs-drive/tests/query_tests_history.rs
@@ -256,6 +256,98 @@ fn test_setup() {
     setup(10, Some(range_inserts), 73509, platform_version);
 }
 
+#[cfg(feature = "server")]
+#[test]
+fn test_proved_primary_key_cursor_pages_over_history_in_both_directions() {
+    // The history-keeping twin of the primary-key cursor test in
+    // query_tests.rs. Here the cursor lookup lands one level below the page
+    // query (`.../0/<id>` with key `[0]`), so the merge point is the page
+    // query's own root layer: the document-id layer must keep the requested
+    // direction in the proof and the cursor must not claim a second slot.
+    use dpp::document::DocumentV0Getters;
+    use dpp::platform_value::string_encoding::Encoding;
+    use dpp::prelude::Identifier;
+    use drive::query::DriveDocumentQuery;
+
+    let platform_version = PlatformVersion::latest();
+    let (drive, contract) = setup(10, None, 73509, platform_version);
+    let person_document_type = contract
+        .document_type_for_name("person")
+        .expect("contract should have a person document type");
+    let root_hash = drive
+        .grove
+        .root_hash(None, &platform_version.drive.grove_version)
+        .unwrap()
+        .expect("there is always a root hash");
+
+    let ids_of = |results: &[Vec<u8>]| -> Vec<Identifier> {
+        results
+            .iter()
+            .map(|bytes| {
+                Document::from_bytes(bytes, person_document_type, platform_version)
+                    .expect("we should be able to deserialize the document")
+                    .id()
+            })
+            .collect()
+    };
+    let build = |query_value: serde_json::Value| {
+        let cbor = cbor_serializer::serializable_value_to_cbor(&query_value, None)
+            .expect("expected to serialize to cbor");
+        DriveDocumentQuery::from_cbor(
+            cbor.as_slice(),
+            &contract,
+            person_document_type,
+            &drive.config,
+            platform_version,
+        )
+        .expect("query should be built")
+    };
+
+    let (all_results, _, _) = build(json!({
+        "limit": 100,
+        "orderBy": [["$id", "asc"]],
+    }))
+    .execute_raw_results_no_proof(&drive, None, None, platform_version)
+    .expect("query should be executed");
+    let ascending_ids = ids_of(&all_results);
+    assert_eq!(ascending_ids.len(), 10);
+
+    for (ascending, included) in [(true, true), (true, false), (false, true), (false, false)] {
+        let ordered: Vec<Identifier> = if ascending {
+            ascending_ids.clone()
+        } else {
+            ascending_ids.iter().rev().cloned().collect()
+        };
+        let cursor = ordered[3];
+        let expected: Vec<Identifier> = if included {
+            ordered[3..6].to_vec()
+        } else {
+            ordered[4..7].to_vec()
+        };
+        let cursor_key = if included { "startAt" } else { "startAfter" };
+        let case = format!(
+            "history orderBy $id {} with {cursor_key}",
+            if ascending { "asc" } else { "desc" }
+        );
+
+        let query = build(json!({
+            cursor_key: cursor.to_string(Encoding::Base58),
+            "limit": 3,
+            "orderBy": [["$id", if ascending { "asc" } else { "desc" }]],
+        }));
+        let (results, _, _) = query
+            .execute_raw_results_no_proof(&drive, None, None, platform_version)
+            .expect("query should be executed");
+        assert_eq!(ids_of(&results), expected, "{case}: unproved page");
+
+        let (proof_root_hash, proof_results, _) = query
+            .execute_with_proof_only_get_elements(&drive, None, None, platform_version)
+            .unwrap_or_else(|e| panic!("{case}: proved page should verify: {e}"));
+        assert_eq!(root_hash, proof_root_hash, "{case}: proof root hash");
+        assert_eq!(results, proof_results, "{case}: proved page");
+    }
+}
+
 #[cfg(feature = "server")]
 #[test]
 fn test_query_historical_first_platform_version() {
diff --git a/packages/rs-platform-serialization/Cargo.toml b/packages/rs-platform-serialization/Cargo.toml
index 7f83bc4226e..d55316ffc6e 100644
--- a/packages/rs-platform-serialization/Cargo.toml
+++ b/packages/rs-platform-serialization/Cargo.toml
@@ -8,5 +8,5 @@ rust-version.workspace = true
 license = "MIT"
 
 [dependencies]
-bincode = { version = "=2.0.1", features = ["serde"] }
+bincode = { workspace = true, features = ["serde"] }
 platform-version = { path = "../rs-platform-version" }
diff --git a/packages/rs-platform-value/Cargo.toml b/packages/rs-platform-value/Cargo.toml
index fda79d9f595..73cfd8fb8a9 100644
--- a/packages/rs-platform-value/Cargo.toml
+++ b/packages/rs-platform-value/Cargo.toml
@@ -8,7 +8,7 @@ rust-version.workspace = true
 license = "MIT"
 
 [dependencies]
-bincode = { version = "=2.0.1", features = ["serde"] }
+bincode = { workspace = true, features = ["serde"] }
 ciborium = { version = "0.2.2", optional = true }
 thiserror = "2.0.12"
 bs58 = "0.5.1"
diff --git a/packages/rs-platform-version/Cargo.toml b/packages/rs-platform-version/Cargo.toml
index 363b9490c19..6ccfd107121 100644
--- a/packages/rs-platform-version/Cargo.toml
+++ b/packages/rs-platform-version/Cargo.toml
@@ -9,9 +9,9 @@ license = "MIT"
 
 [dependencies]
 thiserror = { version = "2.0.12" }
-bincode = { version = "=2.0.1" }
+bincode = { workspace = true }
 versioned-feature-core = "1.0.0"
-grovedb-version = { git = "https://github.com/dashpay/grovedb", rev = "6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e" }
+grovedb-version = { git = "https://github.com/dashpay/grovedb", rev = "985ece6574f5fc8fe80db7b304a9a701c0f4afa6" }
 
 [features]
 mock-versions = []
diff --git a/packages/rs-platform-wallet-ffi/Cargo.toml b/packages/rs-platform-wallet-ffi/Cargo.toml
index 9b8f9d279b1..83cd3fbb4cd 100644
--- a/packages/rs-platform-wallet-ffi/Cargo.toml
+++ b/packages/rs-platform-wallet-ffi/Cargo.toml
@@ -36,7 +36,7 @@ async-trait = "0.1"
 
 # Bincode used to serialize RootExtendedPubKey / ExtendedPubKey across
 # FFI for watch-only restore. Same version pinned elsewhere in workspace.
-bincode = { version = "=2.0.1" }
+bincode = { workspace = true }
 
 # Hex used for error diagnostics that include a wallet_id.
 hex = "0.4"
diff --git a/packages/rs-platform-wallet-storage/Cargo.toml b/packages/rs-platform-wallet-storage/Cargo.toml
index 5d9fc31c24a..cd72b96ad7b 100644
--- a/packages/rs-platform-wallet-storage/Cargo.toml
+++ b/packages/rs-platform-wallet-storage/Cargo.toml
@@ -55,7 +55,7 @@ refinery = { version = "0.9", default-features = false, features = [
 # (which derives bincode 2 `Encode`/`Decode`) and decode
 # `dpp::AssetLockProof` from the asset-lock blob column. Exact-pinned to
 # the lock-resolved version to match the crate's `=`-pin discipline.
-bincode = { version = "=2.0.1", optional = true }
+bincode = { workspace = true, optional = true }
 tempfile = { version = "3", optional = true }
 chrono = { version = "0.4", default-features = false, features = [
     "clock",
diff --git a/packages/rs-platform-wallet/Cargo.toml b/packages/rs-platform-wallet/Cargo.toml
index f71439ea73d..68fc1d68fa7 100644
--- a/packages/rs-platform-wallet/Cargo.toml
+++ b/packages/rs-platform-wallet/Cargo.toml
@@ -61,7 +61,7 @@ zeroize = "1"
 log = "0.4"
 
 # Shielded pool (optional, behind `shielded` feature)
-grovedb-commitment-tree = { git = "https://github.com/dashpay/grovedb", rev = "6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e", optional = true }
+grovedb-commitment-tree = { git = "https://github.com/dashpay/grovedb", rev = "985ece6574f5fc8fe80db7b304a9a701c0f4afa6", optional = true }
 # Direct `rusqlite` access so `FileBackedShieldedStore::open_path` can set
 # WAL + synchronous=NORMAL pragmas before handing the connection to
 # `ClientPersistentCommitmentTree`. Version locked to match the rev grovedb
diff --git a/packages/rs-sdk-ffi/Cargo.toml b/packages/rs-sdk-ffi/Cargo.toml
index e603e523b9d..a25212abc97 100644
--- a/packages/rs-sdk-ffi/Cargo.toml
+++ b/packages/rs-sdk-ffi/Cargo.toml
@@ -47,7 +47,7 @@ dash-network = { workspace = true, features = ["ffi"] }
 # FFI and serialization
 serde = { version = "1.0", features = ["derive"] }
 serde_json = "1.0"
-bincode = { version = "=2.0.1", features = ["serde"] }
+bincode = { workspace = true, features = ["serde"] }
 
 # Async runtime
 tokio = { version = "1.41", features = ["rt-multi-thread", "macros", "sync", "time"] }
diff --git a/packages/rs-sdk-ffi/src/system/queries/path_elements.rs b/packages/rs-sdk-ffi/src/system/queries/path_elements.rs
index 96466024445..93eaa248b66 100644
--- a/packages/rs-sdk-ffi/src/system/queries/path_elements.rs
+++ b/packages/rs-sdk-ffi/src/system/queries/path_elements.rs
@@ -156,19 +156,29 @@ fn get_path_elements(
 /// `NonCounted` and `NotSummed` are transparent wrappers around another
 /// element; we render them as `non_counted(<inner>)` / `not_summed(<inner>)`
 /// so that the wrapped element's value is still visible to the caller.
+/// Backward-reference metadata does not change the rendered payload; the
+/// `type` field identifies the variants that support it.
 fn format_element_data(element: &Element) -> String {
     match element {
-        Element::Item(data, _) => hex::encode(data),
+        Element::Item(data, _) | Element::ItemWithBackwardsReferences(data, _, _) => {
+            hex::encode(data)
+        }
         Element::Reference(reference, _, _) => format!("{:?}", reference),
+        Element::BidirectionalReference(reference, _) => {
+            format!("{:?}", reference.forward_reference_path)
+        }
         Element::Tree(_, _) => "tree".to_string(),
         Element::SumTree(_, _, _) => "sum_tree".to_string(),
-        Element::SumItem(value, _) => format!("sum_item:{}", value),
+        Element::SumItem(value, _) | Element::SumItemWithBackwardsReferences(value, _, _) => {
+            format!("sum_item:{}", value)
+        }
         Element::BigSumTree(_, value, _) => format!("big_sum_tree:{}", value),
         Element::CountTree(_, count, _) => format!("count_tree:{}", count),
         Element::CountSumTree(_, count, sum, _) => {
             format!("count_sum_tree:{}:{}", count, sum)
         }
-        Element::ItemWithSumItem(data, sum, _) => {
+        Element::ItemWithSumItem(data, sum, _)
+        | Element::ItemWithSumItemWithBackwardsReferences(data, sum, _, _) => {
             format!("item_with_sum_item:{}:{}", hex::encode(data), sum)
         }
         Element::ReferenceWithSumItem(reference, _, sum, _) => {
@@ -218,6 +228,16 @@ fn format_element_type(element: &Element) -> String {
     match element {
         Element::Item(_, _) => "item".to_string(),
         Element::Reference(_, _, _) => "reference".to_string(),
+        Element::BidirectionalReference(_, _) => "bidirectional_reference".to_string(),
+        Element::ItemWithBackwardsReferences(_, _, _) => {
+            "item_with_backwards_references".to_string()
+        }
+        Element::SumItemWithBackwardsReferences(_, _, _) => {
+            "sum_item_with_backwards_references".to_string()
+        }
+        Element::ItemWithSumItemWithBackwardsReferences(_, _, _, _) => {
+            "item_with_sum_item_with_backwards_references".to_string()
+        }
         Element::Tree(_, _) => "tree".to_string(),
         Element::SumTree(_, _, _) => "sum_tree".to_string(),
         Element::SumItem(_, _) => "sum_item".to_string(),
@@ -257,6 +277,49 @@ fn format_element_type(element: &Element) -> String {
 mod tests {
     use super::*;
     use crate::test_utils::test_utils::create_mock_sdk_handle;
+    use dash_sdk::drive::grovedb::element::reference_path::ReferencePathType;
+
+    #[test]
+    fn should_preserve_payload_rendering_for_backward_reference_variants() {
+        let path = ReferencePathType::SiblingReference(b"target".to_vec());
+        let cases = [
+            (
+                Element::new_bidirectional_reference_with_options(
+                    path.clone(),
+                    Some(4),
+                    true,
+                    None,
+                ),
+                Element::Reference(path, Some(4), None),
+                "bidirectional_reference",
+            ),
+            (
+                Element::ItemWithBackwardsReferences(vec![0, 255], Default::default(), None),
+                Element::Item(vec![0, 255], None),
+                "item_with_backwards_references",
+            ),
+            (
+                Element::SumItemWithBackwardsReferences(-42, Default::default(), None),
+                Element::SumItem(-42, None),
+                "sum_item_with_backwards_references",
+            ),
+            (
+                Element::ItemWithSumItemWithBackwardsReferences(
+                    vec![0, 255],
+                    -42,
+                    Default::default(),
+                    None,
+                ),
+                Element::ItemWithSumItem(vec![0, 255], -42, None),
+                "item_with_sum_item_with_backwards_references",
+            ),
+        ];
+
+        for (element, base, expected_type) in cases {
+            assert_eq!(format_element_data(&element), format_element_data(&base));
+            assert_eq!(format_element_type(&element), expected_type);
+        }
+    }
 
     #[test]
     fn test_get_path_elements_null_handle() {
diff --git a/packages/rs-sdk/Cargo.toml b/packages/rs-sdk/Cargo.toml
index 3a142158e1b..b7a246aedb5 100644
--- a/packages/rs-sdk/Cargo.toml
+++ b/packages/rs-sdk/Cargo.toml
@@ -18,7 +18,7 @@ drive = { path = "../rs-drive", default-features = false, features = [
 ] }
 
 drive-proof-verifier = { path = "../rs-drive-proof-verifier", default-features = false }
-grovedb-commitment-tree = { git = "https://github.com/dashpay/grovedb", rev = "6fc7e1e82de27a56c3428c0d5dd15b5f6a0ea23e", features = [
+grovedb-commitment-tree = { git = "https://github.com/dashpay/grovedb", rev = "985ece6574f5fc8fe80db7b304a9a701c0f4afa6", features = [
   "client",
   "sqlite",
 ], optional = true }
diff --git a/packages/simple-signer/Cargo.toml b/packages/simple-signer/Cargo.toml
index b95f827d797..089fae064ff 100644
--- a/packages/simple-signer/Cargo.toml
+++ b/packages/simple-signer/Cargo.toml
@@ -20,7 +20,7 @@ dpp = { path = "../rs-dpp", default-features = false, features = [
     "ed25519-dalek",
 ] }
 async-trait = { version = "0.1.79" }
-bincode = { version = "=2.0.1", features = ["serde"] }
+bincode = { workspace = true, features = ["serde"] }
 base64 = { version = "0.22.1" }
 hex = { version = "0.4.3" }
 tracing = "0.1.41"
diff --git a/packages/strategy-tests/Cargo.toml b/packages/strategy-tests/Cargo.toml
index 5e7b2b71a1b..06a052a4f10 100644
--- a/packages/strategy-tests/Cargo.toml
+++ b/packages/strategy-tests/Cargo.toml
@@ -12,7 +12,7 @@ license = "MIT"
 
 [dependencies]
 tracing = "0.1.41"
-bincode = { version = "=2.0.1", features = ["serde"] }
+bincode = { workspace = true, features = ["serde"] }
 drive = { path = "../rs-drive", default-features = false, features = [
   "verify",
 ] }
diff --git a/packages/wasm-dpp/Cargo.toml b/packages/wasm-dpp/Cargo.toml
index 859c8474525..23864d7e170 100644
--- a/packages/wasm-dpp/Cargo.toml
+++ b/packages/wasm-dpp/Cargo.toml
@@ -48,7 +48,7 @@ anyhow = { version = "1.0.75" }
 # required, cargo-machete false positive
 wasm-bindgen-futures = "0.4.58"
 async-trait = "0.1.59"
-bincode = { version = "=2.0.1" }
+bincode = { workspace = true }
 
 [package.metadata.cargo-machete]
 ignored = ["wasm-bindgen-futures"]
diff --git a/packages/wasm-dpp2/Cargo.toml b/packages/wasm-dpp2/Cargo.toml
index 7af47f47f09..b8ef276100b 100644
--- a/packages/wasm-dpp2/Cargo.toml
+++ b/packages/wasm-dpp2/Cargo.toml
@@ -10,7 +10,7 @@ crate-type = ["cdylib", "lib"]
 # TODO: Consider to use talc allocator
 #talc = { version = "=4.4.2", default-features = false, features = ["lock_api"] }
 async-trait = { version = "0.1.79" }
-bincode = "=2.0.1"
+bincode = { workspace = true }
 wasm-bindgen = { version = "=0.2.108", default-features = false, features = [
   "serde-serialize",
 ] }
diff --git a/packages/wasm-drive-verify/Cargo.toml b/packages/wasm-drive-verify/Cargo.toml
index 9868a27466b..ae145a41b8f 100644
--- a/packages/wasm-drive-verify/Cargo.toml
+++ b/packages/wasm-drive-verify/Cargo.toml
@@ -20,7 +20,7 @@ dpp = { path = "../rs-dpp", default-features = false, features = [
   "platform-value-json",
 ] }
 
-bincode = { version = "=2.0.1" }
+bincode = { workspace = true }
 wasm-bindgen = { version = "=0.2.108" }
 serde = { version = "1.0.193", default-features = false, features = [
   "alloc",
diff --git a/packages/wasm-sdk/src/queries/system.rs b/packages/wasm-sdk/src/queries/system.rs
index 1051361908f..0f068698282 100644
--- a/packages/wasm-sdk/src/queries/system.rs
+++ b/packages/wasm-sdk/src/queries/system.rs
@@ -29,6 +29,10 @@ export type GroveElementType =
   | "provableCountTree"
   | "itemWithSumItem"
   | "referenceWithSumItem"
+  | "bidirectionalReference"
+  | "itemWithBackwardsReferences"
+  | "sumItemWithBackwardsReferences"
+  | "itemWithSumItemWithBackwardsReferences"
   | "provableCountSumTree"
   | "provableCountProvableSumTree"
   | "provableSumTree"
@@ -857,8 +861,10 @@ fn set_js_property(object: &Object, property: &str, value: &JsValue) -> Result<(
 
 fn element_value_bytes(element: &Element) -> Option<Vec<u8>> {
     match element {
-        Element::Item(bytes, _) => Some(bytes.clone()),
-        Element::ItemWithSumItem(bytes, _, _) => Some(bytes.clone()),
+        Element::Item(bytes, _)
+        | Element::ItemWithBackwardsReferences(bytes, _, _)
+        | Element::ItemWithSumItem(bytes, _, _)
+        | Element::ItemWithSumItemWithBackwardsReferences(bytes, _, _, _) => Some(bytes.clone()),
         Element::NonCounted(inner)
         | Element::NotSummed(inner)
         | Element::NotCountedOrSummed(inner) => element_value_bytes(inner),
@@ -868,7 +874,9 @@ fn element_value_bytes(element: &Element) -> Option<Vec<u8>> {
 
 fn element_sum(element: &Element) -> Option<i128> {
     match element {
-        Element::SumItem(sum, _) => Some(*sum as i128),
+        Element::SumItem(sum, _)
+        | Element::SumItemWithBackwardsReferences(sum, _, _)
+        | Element::ItemWithSumItemWithBackwardsReferences(_, sum, _, _) => Some(*sum as i128),
         Element::SumTree(_, sum, _) => Some(*sum as i128),
         Element::BigSumTree(_, sum, _) => Some(*sum),
         Element::CountSumTree(_, _, sum, _) => Some(*sum as i128),
@@ -901,16 +909,21 @@ fn element_reference_target(
 ) -> (Option<Vec<Vec<u8>>>, Option<String>) {
     match element {
         Element::Reference(reference_path, _, _)
-        | Element::ReferenceWithSumItem(reference_path, _, _, _) => {
-            match path_from_reference_path_type(reference_path.clone(), parent_path, Some(key)) {
-                Ok(target) => (Some(target), None),
-                Err(error) => {
-                    let message = error.to_string();
-                    tracing::warn!("failed to resolve GroveDB reference target: {}", message);
-                    (None, Some(message))
-                }
+        | Element::ReferenceWithSumItem(reference_path, _, _, _)
+        | Element::BidirectionalReference(
+            dash_sdk::drive::grovedb::element::BidirectionalReference {
+                forward_reference_path: reference_path,
+                ..
+            },
+            _,
+        ) => match path_from_reference_path_type(reference_path.clone(), parent_path, Some(key)) {
+            Ok(target) => (Some(target), None),
+            Err(error) => {
+                let message = error.to_string();
+                tracing::warn!("failed to resolve GroveDB reference target: {}", message);
+                (None, Some(message))
             }
-        }
+        },
         Element::NonCounted(inner)
         | Element::NotSummed(inner)
         | Element::NotCountedOrSummed(inner) => element_reference_target(inner, parent_path, key),
@@ -920,6 +933,12 @@ fn element_reference_target(
 
 fn element_type_name(element: &Element) -> &'static str {
     match element {
+        Element::BidirectionalReference(_, _) => "bidirectionalReference",
+        Element::ItemWithBackwardsReferences(_, _, _) => "itemWithBackwardsReferences",
+        Element::SumItemWithBackwardsReferences(_, _, _) => "sumItemWithBackwardsReferences",
+        Element::ItemWithSumItemWithBackwardsReferences(_, _, _, _) => {
+            "itemWithSumItemWithBackwardsReferences"
+        }
         Element::Item(_, _) => "item",
         Element::Reference(_, _, _) => "reference",
         Element::Tree(_, _) => "tree",
@@ -953,6 +972,11 @@ fn element_type_name(element: &Element) -> &'static str {
 
 fn non_counted_element_type_name(element: &Element) -> &'static str {
     match element {
+        // GroveDB rejects aggregation wrappers around these variants.
+        Element::BidirectionalReference(_, _)
+        | Element::ItemWithBackwardsReferences(_, _, _)
+        | Element::SumItemWithBackwardsReferences(_, _, _)
+        | Element::ItemWithSumItemWithBackwardsReferences(_, _, _, _) => element_type_name(element),
         Element::Item(_, _) => "nonCountedItem",
         Element::Reference(_, _, _) => "nonCountedReference",
         Element::Tree(_, _) => "nonCountedTree",
@@ -1734,6 +1758,35 @@ mod tests {
     use super::*;
     use dash_sdk::drive::grovedb::element::reference_path::ReferencePathType;
 
+    #[test]
+    fn should_render_bidirectional_elements_without_losing_payloads() {
+        let item = Element::new_item_allowing_bidirectional_references(vec![1, 2]);
+        let sum = Element::new_sum_item_allowing_bidirectional_references(-3);
+        let combined =
+            Element::new_item_with_sum_item_allowing_bidirectional_references(vec![4, 5], 6);
+        let reference = Element::new_bidirectional_reference(ReferencePathType::SiblingReference(
+            b"target".to_vec(),
+        ));
+        let union = typescript_element_type_union();
+        for (element, name) in [
+            (&item, "itemWithBackwardsReferences"),
+            (&sum, "sumItemWithBackwardsReferences"),
+            (&combined, "itemWithSumItemWithBackwardsReferences"),
+            (&reference, "bidirectionalReference"),
+        ] {
+            assert_eq!(element_type_name(element), name);
+            assert!(union.contains(&format!("\"{name}\"")));
+        }
+        assert_eq!(element_value_bytes(&item), Some(vec![1, 2]));
+        assert_eq!(element_sum(&sum), Some(-3));
+        assert_eq!(element_value_bytes(&combined), Some(vec![4, 5]));
+        assert_eq!(element_sum(&combined), Some(6));
+        assert_eq!(
+            element_reference_target(&reference, &[b"parent".to_vec()], b"source"),
+            (Some(vec![b"parent".to_vec(), b"target".to_vec()]), None),
+        );
+    }
+
     #[test]
     fn should_decode_raw_bytes_without_utf8_expansion() {
         let input = [0x80, 0xff];