The Kaspa implementation includes a number of cool functions including Reachability to query the DAG's topology, Block data pruning (with close to-long term ideas for block header pruning), SPV proofs, and later on https://alyshakynx360816.corpfinwiki.com/8380633/not_known_details_about_kas77