The Kaspa implementation features a large amount of amazing capabilities like Reachability to query the DAG's topology, Block info pruning (with near-upcoming ideas for block header pruning), SPV proofs, and later on https://bookmarkfox.com/story3415418/the-smart-trick-of-kas77-that-nobody-is-discussing