The Kaspa implementation includes a lots of awesome functions such as Reachability to query the DAG's topology, Block facts pruning (with around-upcoming ideas for block header pruning), SPV proofs, and later subnetwork https://louisenoyb303375.evawiki.com/user