From 0dadb6da66f39b370b32cac65ddfdeaec6c27c4c Mon Sep 17 00:00:00 2001
From: Quantum Explorer <quantum@dash.org>
Date: Wed, 9 Sep 2026 06:21:48 +0700
Subject: [PATCH 1/7] build(platform)!: adopt GroveDB 6.0.0 and the published
 grovedb-bincode 2.1.0

Advance GroveDB to develop 985ece65 (6.0.0) and rust-dashcore to dev
057e79cd, use rocksdb 0.25.0 from crates.io instead of the rust-rocksdb
fork, and make the workspace bincode dependency an alias for the published
grovedb-bincode 2.1.0 so GroveDB, rust-dashcore and Platform share one
set of bincode traits without a Cargo patch.

Adapt to the GroveDB API changes: batch options in Drive's grove
operations, element verification aligned with the prover's right-to-left
traversal, which GroveDB now checks strictly, and the new backward
reference element variants rendered by the FFI and wasm SDK path element
queries.

BREAKING CHANGE: Rust consumers serializing Platform or Core types must
use the published grovedb-bincode 2.1.0 crate; bincode trait identities
now come from it. Wire encodings and the C ABI are unchanged.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
---
 Cargo.lock                                    | 223 +++++++++---------
 Cargo.toml                                    |  17 +-
 packages/rs-dpp/Cargo.toml                    |   4 +-
 packages/rs-drive-abci/Cargo.toml             |  14 +-
 packages/rs-drive-proof-verifier/Cargo.toml   |   2 +-
 packages/rs-drive/Cargo.toml                  |  16 +-
 .../grove_operations/batch_delete/v0/mod.rs   |   1 +
 .../v0/mod.rs                                 |   1 +
 .../grove_operations/batch_move/v0/mod.rs     |   1 +
 .../batch_move_items_in_path_query/v0/mod.rs  |   1 +
 .../batch_remove_raw/v0/mod.rs                |   1 +
 .../v0/mod.rs                                 |   1 +
 .../v0/mod.rs                                 |   1 +
 .../grove_batch_operations_costs/v0/mod.rs    |   1 +
 .../grove_operations/grove_delete/v0/mod.rs   |   1 +
 .../verify/system/verify_elements/v0/mod.rs   |   4 +-
 packages/rs-platform-serialization/Cargo.toml |   2 +-
 packages/rs-platform-value/Cargo.toml         |   2 +-
 packages/rs-platform-version/Cargo.toml       |   4 +-
 packages/rs-platform-wallet-ffi/Cargo.toml    |   2 +-
 .../rs-platform-wallet-storage/Cargo.toml     |   2 +-
 packages/rs-platform-wallet/Cargo.toml        |   2 +-
 packages/rs-sdk-ffi/Cargo.toml                |   2 +-
 .../src/system/queries/path_elements.rs       |  69 +++++-
 packages/rs-sdk/Cargo.toml                    |   2 +-
 packages/simple-signer/Cargo.toml             |   2 +-
 packages/strategy-tests/Cargo.toml            |   2 +-
 packages/wasm-dpp/Cargo.toml                  |   2 +-
 packages/wasm-dpp2/Cargo.toml                 |   2 +-
 packages/wasm-drive-verify/Cargo.toml         |   2 +-
 packages/wasm-sdk/src/queries/system.rs       |  77 +++++-
 31 files changed, 300 insertions(+), 163 deletions(-)

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/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-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/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/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-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];

From 89b9b9271351547e46fc848a82dfc81e427e9929 Mon Sep 17 00:00:00 2001
From: Quantum Explorer <quantum@dash.org>
Date: Wed, 9 Sep 2026 06:21:48 +0700
Subject: [PATCH 2/7] build(docker): build rocksdb 11.8.1 for the prebuilt
 static library

librocksdb-sys 0.19.0+11.8.1 (pulled in by rocksdb 0.25) targets the
RocksDB 11 C API, which dropped the deprecated in_range callback from
rocksdb_slicetransform_create. The Docker image and the librocksdb
GitHub action still built RocksDB 10.4.2 and 9.9.3, so bindgen produced
the six-argument signature and the rocksdb crate failed to compile
against it. Build 11.8.1 in both places to match the vendored version.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
---
 .github/actions/librocksdb/action.yaml | 4 ++--
 Dockerfile                             | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

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/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

From 764dd3449a24358130dc2e08c5fa159eeb34eb32 Mon Sep 17 00:00:00 2001
From: Quantum Explorer <quantum@dash.org>
Date: Wed, 9 Sep 2026 06:21:48 +0700
Subject: [PATCH 3/7] fix(drive): verify a page's cursor document in the page's
 walk direction

GroveDB now refuses a V1 layer proof that is read in the other op family
(grovedb #863): a layer proof is emitted entirely in the family of the
direction its query walks. When a document query carries a startAt or
startAfter cursor, the prover merges the one-key cursor lookup into the
page proof, and since grovedb's merge needs every input to walk the same
way, the cursor layer is emitted in the page's orderBy direction. The
verifier rebuilt that lookup as a fresh ascending single-key query, so
every proved descending page with a cursor failed with InvalidProof.

Read the cursor layer in the page's direction when it is verified as a
subset of the page proof. The direction comes from the same query
builder the prover uses and never depends on the cursor document; a
single key decodes identically either way.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
---
 .../verify_start_at_document_in_proof/v0/mod.rs | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

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 {

From c1de4a57ce73a4ada6903c9cd8f674b51a5c2fc7 Mon Sep 17 00:00:00 2001
From: Quantum Explorer <quantum@dash.org>
Date: Wed, 9 Sep 2026 06:21:48 +0700
Subject: [PATCH 4/7] test(drive-abci): verify contestant vote proofs with the
 requested order and cursor

The proved contestant-votes helper verified every proof with a fixed
ascending, unlimited query regardless of the request it had just sent.
GroveDB now refuses a layer proof read in the other op family, so the
descending request failed with InvalidProof. Mirror the request's order,
count and cursor into the verifier query, as the SDK's proof verifier
does.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
---
 .../state_transitions/masternode_vote/mod.rs  | 19 ++++++++++++++++---
 1 file changed, 16 insertions(+), 3 deletions(-)

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..2cb3852135d 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

From 6b18e24f2959b7354dc32bdc9bee6ac8ce55c93c Mon Sep 17 00:00:00 2001
From: Quantum Explorer <quantum@dash.org>
Date: Wed, 9 Sep 2026 06:21:48 +0700
Subject: [PATCH 5/7] style(drive-abci): format the keep-history delete replay
 test

cargo fmt --check fails on v4.2-dev since #4218 landed this test unformatted.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
---
 .../state_transitions/batch/tests/document/deletion.rs      | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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

From 38eca5808e30e3721044cfe254fcecc46b788990 Mon Sep 17 00:00:00 2001
From: Quantum Explorer <quantum@dash.org>
Date: Wed, 9 Sep 2026 23:37:59 +0700
Subject: [PATCH 6/7] fix(drive): keep a $id page's direction and limit when
 the cursor merges onto its own layer

A startAt/startAfter page proof merges the one-key cursor lookup with the
page query. For an index-ordered page the two live under different
subtrees, so the merge synthesizes a root above both and that root is
walked ascending so the cursor branch spends its reserved limit + 1 slot
first; the verifier never sees that root. A $id-ordered page addresses
the primary-key tree directly (a history-keeping type's cursor sits one
level below it), so the merge point is the page query's own root layer.
Flipping that layer ascending contradicts the descending direction the
verifier reads it in, and the reserved slot makes an inclusive page
return limit + 1 rows matching the page query. GroveDB 6 rejects both:
"inverted op in a left-to-right walk" and "Proof returns more data than
limit".

When the merge lands on the page query's own layer, keep the requested
direction, and reserve the extra slot only when the page's items do not
already cover the cursor key. Round-trip tests page the family contract
by $id in both directions with inclusive and exclusive cursors, for
plain and history-keeping document types, verifying every page's proof.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
---
 packages/rs-drive/src/query/mod.rs            | 84 +++++++++++++----
 packages/rs-drive/tests/query_tests.rs        | 91 ++++++++++++++++++
 .../rs-drive/tests/query_tests_history.rs     | 92 +++++++++++++++++++
 3 files changed, 250 insertions(+), 17 deletions(-)

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/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() {

From 7b596fff45d5fa09d7d93426be98f019c59df3be Mon Sep 17 00:00:00 2001
From: Quantum Explorer <quantum@dash.org>
Date: Wed, 9 Sep 2026 23:37:59 +0700
Subject: [PATCH 7/7] test(drive-abci): page proved contestant votes with
 cursors and limits

The proved contestant-votes test only requested whole result sets, so the
helper's forwarding of the request's count and cursor into the verifier
query was never exercised. Add paged proved requests over the 50-voter
contender: a limit smaller than the result set with inclusive and
exclusive cursors in both directions, plus a short final page, each
compared with the matching slice of the full ascending voter sequence.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
---
 .../state_transitions/masternode_vote/mod.rs  | 47 +++++++++++++++++++
 1 file changed, 47 insertions(+)

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 2cb3852135d..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
@@ -3490,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());
             }
         }