Expand description
Having-range verification methods on proofs (the
GROUP BY … HAVING <aggregate> <op> <value> LIMIT n surface’s
prove-path verifier).
Verifies grovedb proofs produced by the having-range
(GROUP BY … HAVING <aggregate> <op> <value> LIMIT n) query surface.
Mirrors the layering of [super::document_ranked]: a pure
grovedb-level verifier as a method on
DriveDocumentHavingQuery
taking raw proof: &[u8] and returning (RootHash, T). The
tenderdash signature composition that wraps this call lives in
rs-drive-proof-verifier.
Only one verifier exists here, for the same reason as on the ranked
surface: every having-range request — any of the three axes, either
direction, any contiguous bound — resolves to one Bounded axis
traversal proved through grovedb’s unified prove_query, against
the same PathQuery the verifier reconstructs from the request.
Modules§
- verify_
having_ range_ proof - Indexed-axis range proof verification — returns the groups the proof commits to as falling inside the bound, in axis order.