Module verify_distinct_count_proof 

Distinct-count proof verification (regular range proof against a ProvableCountTree) — returns the per-(in_key, key) entries the proof commits to.