Function verify_aggregate_sum_proof 

pub fn verify_aggregate_sum_proof(
    query: &DriveDocumentSumQuery<'_>,
    proof: &Proof,
    mtd: &ResponseMetadata,
    platform_version: &PlatformVersion,
    provider: &dyn ContextProvider,
) -> Result<i64, Error>

Verify a grovedb AggregateSumOnRange proof and the surrounding tenderdash commit, returning the verified i64 sum from one range traversal. Used by the prove path’s select=SUM, group_by=[] with a range clause on a rangeSummable: true index.

Thin tenderdash-composition wrapper over [DriveDocumentSumQuery::verify_aggregate_sum_proof] in rs-drive (which does the merk-level verification via GroveDb::verify_aggregate_sum_query). Both helpers share the prover’s aggregate_sum_path_query so the path query bytes match byte-for-byte across the network.