The Kaspa implementation features a lot of amazing functions like Reachability to query the DAG's topology, Block facts pruning (with near-future options for block header pruning), SPV proofs, and later on subnetwork https://zoyaisff167995.wikiadvocate.com/6216471/the_best_side_of_kas77