Skip to main content

Module path

Module path 

Source
Expand description

The grove path a ranked read / proof / verification is issued against.

This is one half of the prover/verifier-agreement boundary for the ranked surface: both sides build the same axis PathQuery — these path segments plus the traversal (axis, k, offset, descending) — and grovedb re-executes the proof against that reconstruction at verification time. Prover and verifier both call DriveDocumentRankedQuery::indexed_property_name_tree_path; a divergence here surfaces as a failed root-hash reconstruction, not a wrong answer, but it is still the one place the two sides must not drift.

Gated any(server, verify) so the verifier crate reaches it through DriveDocumentRankedQuery::* method syntax.